(* AIM EXPRESS long form for ISO 10303-219 Len Slovensky - Northrop Grumman/SCRA ISO TC184/SC4/WG3 N2253 2007-09-05 *) SCHEMA dimensional_inspection_schema; CONSTANT dummy_gri : geometric_representation_item := representation_item('') || geometric_representation_item(); dummy_tri : topological_representation_item := representation_item('') || topological_representation_item(); END_CONSTANT; TYPE action_item = SELECT (product_definition); END_TYPE; -- action_item TYPE ahead_or_behind = ENUMERATION OF (exact, ahead, behind); END_TYPE; -- ahead_or_behind TYPE amount_of_substance_measure = REAL; END_TYPE; -- amount_of_substance_measure TYPE angle_relator = ENUMERATION OF (equal, small, large); END_TYPE; -- angle_relator TYPE area_measure = REAL; END_TYPE; -- area_measure TYPE attribute_type = SELECT (label, text); END_TYPE; -- attribute_type TYPE axis2_placement = SELECT (axis2_placement_2d, axis2_placement_3d); END_TYPE; -- axis2_placement TYPE b_spline_curve_form = ENUMERATION OF (elliptic_arc, polyline_form, parabolic_arc, circular_arc, unspecified, hyperbolic_arc); END_TYPE; -- b_spline_curve_form TYPE b_spline_surface_form = ENUMERATION OF (surf_of_linear_extrusion, plane_surf, generalised_cone, toroidal_surf, conical_surf, spherical_surf, unspecified, ruled_surf, surf_of_revolution, cylindrical_surf, quadric_surf); END_TYPE; -- b_spline_surface_form TYPE boolean_operand = SELECT (solid_model); END_TYPE; -- boolean_operand TYPE celsius_temperature_measure = REAL; END_TYPE; -- celsius_temperature_measure TYPE characterized_action_definition = SELECT (action, action_method, action_relationship); END_TYPE; -- characterized_action_definition TYPE characterized_definition = SELECT (characterized_object, characterized_product_definition, shape_definition); END_TYPE; -- characterized_definition TYPE characterized_product_definition = SELECT (product_definition); END_TYPE; -- characterized_product_definition TYPE characterized_resource_definition = SELECT (action_resource, action_resource_requirement); END_TYPE; -- characterized_resource_definition TYPE compound_item_definition = SELECT (set_representation_item); END_TYPE; -- compound_item_definition TYPE count_measure = NUMBER; END_TYPE; -- count_measure TYPE curve_on_surface = SELECT (pcurve, surface_curve, composite_curve_on_surface); END_TYPE; -- curve_on_surface TYPE date_item = SELECT (dm_program_run); END_TYPE; -- date_item TYPE date_time_or_event_occurrence = SELECT (date_time_select); END_TYPE; -- date_time_or_event_occurrence TYPE date_time_select = SELECT (date, local_time, date_and_time); END_TYPE; -- date_time_select TYPE day_in_month_number = INTEGER; WHERE wr1: (1 <= SELF) AND (SELF <= 31); END_TYPE; -- day_in_month_number TYPE derived_property_select = SELECT (property_definition, action_property, resource_property); END_TYPE; -- derived_property_select TYPE description_attribute_select = SELECT (application_context, date_role, effectivity, external_source, organization_role, person_and_organization_role, person_and_organization, property_definition_representation, representation); END_TYPE; -- description_attribute_select TYPE dimension_count = INTEGER; WHERE wr1: SELF > 0; END_TYPE; -- dimension_count TYPE dimensional_characteristic = SELECT (dimensional_location, dimensional_size); END_TYPE; -- dimensional_characteristic TYPE document_reference_item = SELECT (product_definition_formation, externally_defined_feature_definition, externally_defined_dimension_definition); END_TYPE; -- document_reference_item TYPE effectivity_item = SELECT (product_definition_formation); END_TYPE; -- effectivity_item TYPE electric_current_measure = REAL; END_TYPE; -- electric_current_measure TYPE founded_item_select = SELECT (founded_item, representation_item); END_TYPE; -- founded_item_select TYPE geometric_set_select = SELECT (point, curve, surface); END_TYPE; -- geometric_set_select TYPE group_item = SELECT (instanced_feature, replicate_feature, transition_feature); END_TYPE; -- group_item TYPE hour_in_day = INTEGER; WHERE wr1: (0 <= SELF) AND (SELF < 24); END_TYPE; -- hour_in_day TYPE id_attribute_select = SELECT (action, address, property_definition, shape_aspect, shape_aspect_relationship, application_context, group, organizational_project, representation); END_TYPE; -- id_attribute_select TYPE identifier = STRING; END_TYPE; -- identifier TYPE knot_type = ENUMERATION OF (uniform_knots, quasi_uniform_knots, piecewise_bezier_knots, unspecified); END_TYPE; -- knot_type TYPE label = STRING; END_TYPE; -- label TYPE length_measure = REAL; END_TYPE; -- length_measure TYPE limit_condition = ENUMERATION OF (regardless_of_feature_size, maximum_material_condition, least_material_condition); END_TYPE; -- limit_condition TYPE list_of_reversible_topology_item = LIST [0:?] OF reversible_topology_item; END_TYPE; -- list_of_reversible_topology_item TYPE luminous_intensity_measure = REAL; END_TYPE; -- luminous_intensity_measure TYPE mass_measure = REAL; END_TYPE; -- mass_measure TYPE measure_value = SELECT (length_measure, mass_measure, time_measure, electric_current_measure, thermodynamic_temperature_measure, celsius_temperature_measure, amount_of_substance_measure, luminous_intensity_measure, plane_angle_measure, solid_angle_measure, area_measure, volume_measure, ratio_measure, parameter_value, positive_length_measure, positive_plane_angle_measure, count_measure); END_TYPE; -- measure_value TYPE minute_in_hour = INTEGER; WHERE wr1: (0 <= SELF) AND (SELF <= 59); END_TYPE; -- minute_in_hour TYPE month_in_year_number = INTEGER; WHERE wr1: (1 <= SELF) AND (SELF <= 12); END_TYPE; -- month_in_year_number TYPE name_attribute_select = SELECT (address, derived_unit, effectivity, person_and_organization, product_definition, property_definition_representation); END_TYPE; -- name_attribute_select TYPE organization_item = SELECT (dm_program_identification, dm_program_run); END_TYPE; -- organization_item TYPE parameter_value = REAL; END_TYPE; -- parameter_value TYPE pcurve_or_surface = SELECT (pcurve, surface); END_TYPE; -- pcurve_or_surface TYPE person_and_organization_item = SELECT (dm_program_identification, dm_program_run); END_TYPE; -- person_and_organization_item TYPE person_organization_select = SELECT (person, organization, person_and_organization); END_TYPE; -- person_organization_select TYPE plane_angle_measure = REAL; END_TYPE; -- plane_angle_measure TYPE positive_length_measure = length_measure; WHERE wr1: SELF > 0; END_TYPE; -- positive_length_measure TYPE positive_plane_angle_measure = plane_angle_measure; WHERE wr1: SELF > 0; END_TYPE; -- positive_plane_angle_measure TYPE preferred_surface_curve_representation = ENUMERATION OF (pcurve_s2, pcurve_s1, curve_3d); END_TYPE; -- preferred_surface_curve_representation TYPE product_or_formation_or_definition = SELECT (product, product_definition_formation, product_definition); END_TYPE; -- product_or_formation_or_definition TYPE property_or_shape_select = SELECT (property_definition, shape_definition); END_TYPE; -- property_or_shape_select TYPE ratio_measure = REAL; END_TYPE; -- ratio_measure TYPE represented_definition = SELECT (property_definition, property_definition_relationship, shape_aspect, shape_aspect_relationship); END_TYPE; -- represented_definition TYPE reversible_topology = SELECT (reversible_topology_item, list_of_reversible_topology_item, set_of_reversible_topology_item); END_TYPE; -- reversible_topology TYPE reversible_topology_item = SELECT (edge, path, face, face_bound, closed_shell, open_shell); END_TYPE; -- reversible_topology_item TYPE role_select = SELECT (action_assignment, document_reference, effectivity_assignment, group_assignment, security_classification_assignment); END_TYPE; -- role_select TYPE second_in_minute = REAL; WHERE wr1: (0 <= SELF) AND (SELF <= 60); END_TYPE; -- second_in_minute TYPE security_classification_item = SELECT (product_definition_formation); END_TYPE; -- security_classification_item TYPE set_of_reversible_topology_item = SET [0:?] OF reversible_topology_item; END_TYPE; -- set_of_reversible_topology_item TYPE set_representation_item = SET [1:?] OF representation_item; END_TYPE; -- set_representation_item TYPE shape_definition = SELECT (product_definition_shape, shape_aspect, shape_aspect_relationship); END_TYPE; -- shape_definition TYPE shell = SELECT (open_shell, closed_shell); END_TYPE; -- shell TYPE si_prefix = ENUMERATION OF (exa, pico, mega, femto, atto, centi, nano, hecto, micro, tera, giga, milli, peta, deci, kilo, deca); END_TYPE; -- si_prefix TYPE si_unit_name = ENUMERATION OF (hertz, degree_celsius, siemens, sievert, lux, watt, ohm, second, becquerel, pascal, henry, tesla, volt, joule, kelvin, ampere, gram, steradian, mole, lumen, gray, candela, farad, radian, newton, metre, weber, coulomb); END_TYPE; -- si_unit_name TYPE solid_angle_measure = REAL; END_TYPE; -- solid_angle_measure TYPE source_item = SELECT (identifier); END_TYPE; -- source_item TYPE supported_item = SELECT (action, action_method); END_TYPE; -- supported_item TYPE text = STRING; END_TYPE; -- text TYPE thermodynamic_temperature_measure = REAL; END_TYPE; -- thermodynamic_temperature_measure TYPE time_measure = REAL; END_TYPE; -- time_measure TYPE tolerance_method_definition = SELECT (tolerance_value, limits_and_fits); END_TYPE; -- tolerance_method_definition TYPE tolerance_select = SELECT (geometric_tolerance, plus_minus_tolerance); END_TYPE; -- tolerance_select TYPE transformation = SELECT (functionally_defined_transformation); END_TYPE; -- transformation TYPE transition_code = ENUMERATION OF (discontinuous, cont_same_gradient_same_curvature, cont_same_gradient, continuous); END_TYPE; -- transition_code TYPE trimming_select = SELECT (cartesian_point, parameter_value); END_TYPE; -- trimming_select TYPE unit = SELECT (named_unit, derived_unit); END_TYPE; -- unit TYPE value_qualifier = SELECT (precision_qualifier, type_qualifier, uncertainty_qualifier); END_TYPE; -- value_qualifier TYPE vector_or_direction = SELECT (vector, direction); END_TYPE; -- vector_or_direction TYPE volume_measure = REAL; END_TYPE; -- volume_measure TYPE year_number = INTEGER; END_TYPE; -- year_number ENTITY action; name : label; description : OPTIONAL text; chosen_method : action_method; DERIVE id : identifier := get_id_value(SELF); WHERE wr1: SIZEOF(USEDIN(SELF,'DIMENSIONAL_INSPECTION_SCHEMA.' + 'ID_ATTRIBUTE.IDENTIFIED_ITEM')) <= 1; END_ENTITY; -- action ENTITY action_assignment ABSTRACT SUPERTYPE; assigned_action : action; DERIVE role : object_role := get_role(SELF); WHERE wr1: SIZEOF(USEDIN(SELF,'DIMENSIONAL_INSPECTION_SCHEMA.' + 'ROLE_ASSOCIATION.ITEM_WITH_ROLE')) <= 1; END_ENTITY; -- action_assignment ENTITY action_method; name : label; description : OPTIONAL text; consequence : text; purpose : text; END_ENTITY; -- action_method ENTITY action_property; name : label; description : text; definition : characterized_action_definition; END_ENTITY; -- action_property ENTITY action_property_representation; name : label; description : text; property : action_property; representation : representation; END_ENTITY; -- action_property_representation ENTITY action_relationship; name : label; description : OPTIONAL text; relating_action : action; related_action : action; END_ENTITY; -- action_relationship ENTITY action_resource; name : label; description : OPTIONAL text; usage : SET [1:?] OF supported_item; kind : action_resource_type; END_ENTITY; -- action_resource ENTITY action_resource_requirement; name : label; description : text; kind : resource_requirement_type; OPERATIONS : SET [1:?] OF characterized_action_definition; END_ENTITY; -- action_resource_requirement ENTITY action_resource_type; name : label; END_ENTITY; -- action_resource_type ENTITY address; internal_location : OPTIONAL label; street_number : OPTIONAL label; street : OPTIONAL label; postal_box : OPTIONAL label; town : OPTIONAL label; region : OPTIONAL label; postal_code : OPTIONAL label; country : OPTIONAL label; facsimile_number : OPTIONAL label; telephone_number : OPTIONAL label; electronic_mail_address : OPTIONAL label; telex_number : OPTIONAL label; DERIVE name : label := get_name_value(SELF); url : identifier := get_id_value(SELF); WHERE wr1: ((((((((((EXISTS(internal_location) OR EXISTS(street_number)) OR EXISTS(street)) OR EXISTS(postal_box)) OR EXISTS(town)) OR EXISTS(region)) OR EXISTS(postal_code)) OR EXISTS(country)) OR EXISTS(facsimile_number)) OR EXISTS(telephone_number)) OR EXISTS(electronic_mail_address)) OR EXISTS(telex_number); END_ENTITY; -- address ENTITY advanced_brep_shape_representation SUBTYPE OF (shape_representation); WHERE wr1: SIZEOF(QUERY ( it <* SELF.items | (NOT (SIZEOF([ 'DIMENSIONAL_INSPECTION_SCHEMA.MANIFOLD_SOLID_BREP', 'DIMENSIONAL_INSPECTION_SCHEMA.FACETED_BREP', 'DIMENSIONAL_INSPECTION_SCHEMA.MAPPED_ITEM', 'DIMENSIONAL_INSPECTION_SCHEMA.AXIS2_PLACEMENT_3D'] * TYPEOF(it)) = 1)) )) = 0; wr2: SIZEOF(QUERY ( it <* SELF.items | (SIZEOF([ 'DIMENSIONAL_INSPECTION_SCHEMA.MANIFOLD_SOLID_BREP', 'DIMENSIONAL_INSPECTION_SCHEMA.MAPPED_ITEM'] * TYPEOF(it)) = 1) )) > 0; wr3: SIZEOF(QUERY ( msb <* QUERY ( it <* SELF.items | ( 'DIMENSIONAL_INSPECTION_SCHEMA.MANIFOLD_SOLID_BREP' IN TYPEOF(it)) ) | (NOT (SIZEOF(QUERY ( csh <* msb_shells(msb) | (NOT (SIZEOF(QUERY ( fcs <* csh\connected_face_set. cfs_faces | (NOT ( 'DIMENSIONAL_INSPECTION_SCHEMA.ADVANCED_FACE' IN TYPEOF(fcs))) )) = 0)) )) = 0)) )) = 0; wr4: SIZEOF(QUERY ( msb <* QUERY ( it <* items | ( 'DIMENSIONAL_INSPECTION_SCHEMA.MANIFOLD_SOLID_BREP' IN TYPEOF(it)) ) | ( 'DIMENSIONAL_INSPECTION_SCHEMA.ORIENTED_CLOSED_SHELL' IN TYPEOF(msb\manifold_solid_brep.outer)) )) = 0; wr5: SIZEOF(QUERY ( brv <* QUERY ( it <* items | ( 'DIMENSIONAL_INSPECTION_SCHEMA.BREP_WITH_VOIDS' IN TYPEOF(it)) ) | (NOT (SIZEOF(QUERY ( csh <* brv\brep_with_voids.voids | csh\oriented_closed_shell.orientation )) = 0)) )) = 0; wr6: SIZEOF(QUERY ( mi <* QUERY ( it <* items | ( 'DIMENSIONAL_INSPECTION_SCHEMA.MAPPED_ITEM' IN TYPEOF(it)) ) | (NOT ('DIMENSIONAL_INSPECTION_SCHEMA.ADVANCED_BREP_SHAPE_REPRESENTATION' IN TYPEOF(mi\mapped_item.mapping_source. mapped_representation))) )) = 0; END_ENTITY; -- advanced_brep_shape_representation ENTITY advanced_face SUBTYPE OF (face_surface); WHERE wr1 : SIZEOF(['DIMENSIONAL_INSPECTION_SCHEMA.ELEMENTARY_SURFACE', 'DIMENSIONAL_INSPECTION_SCHEMA.B_SPLINE_SURFACE', 'DIMENSIONAL_INSPECTION_SCHEMA.SWEPT_SURFACE'] * TYPEOF( face_geometry)) = 1; wr2 : SIZEOF(QUERY ( elp_fbnds <* QUERY ( bnds <* bounds | ( 'DIMENSIONAL_INSPECTION_SCHEMA.EDGE_LOOP' IN TYPEOF(bnds. bound)) ) | (NOT (SIZEOF(QUERY ( oe <* elp_fbnds.bound\path .edge_list | (NOT ( 'DIMENSIONAL_INSPECTION_SCHEMA.EDGE_CURVE' IN TYPEOF(oe\ oriented_edge.edge_element))) )) = 0)) )) = 0; wr3 : SIZEOF(QUERY ( elp_fbnds <* QUERY ( bnds <* bounds | ( 'DIMENSIONAL_INSPECTION_SCHEMA.EDGE_LOOP' IN TYPEOF(bnds. bound)) ) | (NOT (SIZEOF(QUERY ( oe <* elp_fbnds.bound\path .edge_list | (NOT (SIZEOF([ 'DIMENSIONAL_INSPECTION_SCHEMA.LINE', 'DIMENSIONAL_INSPECTION_SCHEMA.CONIC', 'DIMENSIONAL_INSPECTION_SCHEMA.POLYLINE', 'DIMENSIONAL_INSPECTION_SCHEMA.SURFACE_CURVE', 'DIMENSIONAL_INSPECTION_SCHEMA.B_SPLINE_CURVE'] * TYPEOF(oe .edge_element\edge_curve.edge_geometry)) = 1)) )) = 0)) )) = 0; wr4 : SIZEOF(QUERY ( elp_fbnds <* QUERY ( bnds <* bounds | ( 'DIMENSIONAL_INSPECTION_SCHEMA.EDGE_LOOP' IN TYPEOF(bnds. bound)) ) | (NOT (SIZEOF(QUERY ( oe <* elp_fbnds.bound\path .edge_list | (NOT ((( 'DIMENSIONAL_INSPECTION_SCHEMA.VERTEX_POINT' IN TYPEOF(oe\ edge.edge_start)) AND ( 'DIMENSIONAL_INSPECTION_SCHEMA.CARTESIAN_POINT' IN TYPEOF( oe\edge.edge_start\vertex_point.vertex_geometry))) AND (( 'DIMENSIONAL_INSPECTION_SCHEMA.VERTEX_POINT' IN TYPEOF(oe\ edge.edge_end)) AND ( 'DIMENSIONAL_INSPECTION_SCHEMA.CARTESIAN_POINT' IN TYPEOF( oe\edge.edge_end\vertex_point.vertex_geometry))))) )) = 0)) )) = 0; wr5 : SIZEOF(QUERY ( elp_fbnds <* QUERY ( bnds <* bounds | ( 'DIMENSIONAL_INSPECTION_SCHEMA.EDGE_LOOP' IN TYPEOF(bnds. bound)) ) | ('DIMENSIONAL_INSPECTION_SCHEMA.ORIENTED_PATH' IN TYPEOF(elp_fbnds.bound)) )) = 0; wr6 : (NOT ('DIMENSIONAL_INSPECTION_SCHEMA.SWEPT_SURFACE' IN TYPEOF( face_geometry))) OR (SIZEOF([ 'DIMENSIONAL_INSPECTION_SCHEMA.LINE', 'DIMENSIONAL_INSPECTION_SCHEMA.CONIC', 'DIMENSIONAL_INSPECTION_SCHEMA.POLYLINE', 'DIMENSIONAL_INSPECTION_SCHEMA.B_SPLINE_CURVE'] * TYPEOF( face_geometry\swept_surface.swept_curve)) = 1); wr7 : SIZEOF(QUERY ( vlp_fbnds <* QUERY ( bnds <* bounds | ( 'DIMENSIONAL_INSPECTION_SCHEMA.VERTEX_LOOP' IN TYPEOF(bnds. bound)) ) | (NOT (( 'DIMENSIONAL_INSPECTION_SCHEMA.VERTEX_POINT' IN TYPEOF( vlp_fbnds\face_bound.bound\vertex_loop.loop_vertex)) AND ( 'DIMENSIONAL_INSPECTION_SCHEMA.CARTESIAN_POINT' IN TYPEOF( vlp_fbnds\face_bound.bound\vertex_loop.loop_vertex\ vertex_point.vertex_geometry)))) )) = 0; wr8 : SIZEOF(QUERY ( bnd <* bounds | (NOT (SIZEOF([ 'DIMENSIONAL_INSPECTION_SCHEMA.EDGE_LOOP', 'DIMENSIONAL_INSPECTION_SCHEMA.VERTEX_LOOP'] * TYPEOF(bnd. bound)) = 1)) )) = 0; wr9 : SIZEOF(QUERY ( elp_fbnds <* QUERY ( bnds <* bounds | ( 'DIMENSIONAL_INSPECTION_SCHEMA.EDGE_LOOP' IN TYPEOF(bnds. bound)) ) | (NOT (SIZEOF(QUERY ( oe <* elp_fbnds.bound\path .edge_list | (( 'DIMENSIONAL_INSPECTION_SCHEMA.SURFACE_CURVE' IN TYPEOF(oe\ oriented_edge.edge_element\edge_curve.edge_geometry)) AND ( NOT (SIZEOF(QUERY ( sc_ag <* oe.edge_element\edge_curve. edge_geometry\surface_curve.associated_geometry | (NOT ( 'DIMENSIONAL_INSPECTION_SCHEMA.PCURVE' IN TYPEOF(sc_ag))) )) = 0))) )) = 0)) )) = 0; wr10: ((NOT ('DIMENSIONAL_INSPECTION_SCHEMA.SWEPT_SURFACE' IN TYPEOF(face_geometry))) OR ((NOT ( 'DIMENSIONAL_INSPECTION_SCHEMA.POLYLINE' IN TYPEOF( face_geometry\swept_surface.swept_curve))) OR (SIZEOF( face_geometry\swept_surface.swept_curve\polyline.points) >= 3))) AND (SIZEOF(QUERY ( elp_fbnds <* QUERY ( bnds <* bounds | ('DIMENSIONAL_INSPECTION_SCHEMA.EDGE_LOOP' IN TYPEOF(bnds.bound)) ) | (NOT (SIZEOF(QUERY ( oe <* elp_fbnds.bound\path.edge_list | (( 'DIMENSIONAL_INSPECTION_SCHEMA.POLYLINE' IN TYPEOF(oe\ oriented_edge.edge_element\edge_curve.edge_geometry)) AND ( NOT (SIZEOF(oe\oriented_edge.edge_element\edge_curve. edge_geometry\polyline.points) >= 3))) )) = 0)) )) = 0); END_ENTITY; -- advanced_face ENTITY angular_location SUBTYPE OF (dimensional_location); angle_selection : angle_relator; END_ENTITY; -- angular_location ENTITY angular_size SUBTYPE OF (dimensional_size); angle_selection : angle_relator; END_ENTITY; -- angular_size ENTITY angularity_tolerance SUBTYPE OF (geometric_tolerance_with_datum_reference); WHERE wr1: SIZEOF(SELF\geometric_tolerance_with_datum_reference. datum_system) < 3; END_ENTITY; -- angularity_tolerance ENTITY apex SUBTYPE OF (derived_shape_aspect); END_ENTITY; -- apex ENTITY application_context; application : label; DERIVE description : text := get_description_value(SELF); id : identifier := get_id_value(SELF); INVERSE context_elements : SET [1:?] OF application_context_element FOR frame_of_reference; WHERE wr1: SIZEOF(USEDIN(SELF,'DIMENSIONAL_INSPECTION_SCHEMA.' + 'DESCRIPTION_ATTRIBUTE.DESCRIBED_ITEM')) <= 1; wr2: SIZEOF(USEDIN(SELF,'DIMENSIONAL_INSPECTION_SCHEMA.' + 'ID_ATTRIBUTE.IDENTIFIED_ITEM')) <= 1; END_ENTITY; -- application_context ENTITY application_context_element SUPERTYPE OF (ONEOF (product_context,product_definition_context)); name : label; frame_of_reference : application_context; END_ENTITY; -- application_context_element ENTITY application_protocol_definition; status : label; application_interpreted_model_schema_name : label; application_protocol_year : year_number; application : application_context; END_ENTITY; -- application_protocol_definition ENTITY applied_action_assignment SUBTYPE OF (action_assignment); items : SET [1:?] OF action_item; END_ENTITY; -- applied_action_assignment ENTITY applied_area SUBTYPE OF (shape_aspect); WHERE wr1: 'DIMENSIONAL_INSPECTION_SCHEMA.PRODUCT_DEFINITION_SHAPE' IN TYPEOF(SELF.of_shape); wr2: SIZEOF(QUERY ( pd <* USEDIN(SELF,'DIMENSIONAL_INSPECTION_SCHEMA.PROPERTY_DEFINITION.DEFINITION') | (NOT (SIZEOF(QUERY ( pdr <* USEDIN(pd, 'DIMENSIONAL_INSPECTION_SCHEMA.' + 'PROPERTY_DEFINITION_REPRESENTATION.DEFINITION') | (( 'DIMENSIONAL_INSPECTION_SCHEMA.' + 'SHAPE_REPRESENTATION_WITH_PARAMETERS') IN TYPEOF(pdr. used_representation)) )) = 1)) )) = 0; wr3: SIZEOF(QUERY ( pd <* USEDIN(SELF,'DIMENSIONAL_INSPECTION_SCHEMA.PROPERTY_DEFINITION.DEFINITION') | (NOT (SIZEOF(QUERY ( impl_rep <* QUERY ( pdr <* USEDIN(pd, 'DIMENSIONAL_INSPECTION_SCHEMA.' + 'PROPERTY_DEFINITION_REPRESENTATION.DEFINITION') | (( 'DIMENSIONAL_INSPECTION_SCHEMA.' + 'SHAPE_REPRESENTATION_WITH_PARAMETERS') IN TYPEOF(pdr. used_representation)) ) | (NOT ((2 <= SIZEOF(impl_rep. used_representation.items)) AND (SIZEOF(impl_rep. used_representation.items) <= 3))) )) = 0)) )) = 0; wr4: SIZEOF(QUERY ( pd <* USEDIN(SELF,'DIMENSIONAL_INSPECTION_SCHEMA.PROPERTY_DEFINITION.DEFINITION') | (SIZEOF(QUERY ( pdr <* USEDIN(pd, 'DIMENSIONAL_INSPECTION_SCHEMA.' + 'PROPERTY_DEFINITION_REPRESENTATION.DEFINITION') | ((( 'DIMENSIONAL_INSPECTION_SCHEMA.' + 'SHAPE_REPRESENTATION_WITH_PARAMETERS') IN TYPEOF(pdr. used_representation)) AND (SIZEOF(QUERY ( srwp_i <* pdr. used_representation.items | (NOT (srwp_i.name IN [ 'orientation','effective length','maximum length'])) )) > 0)) )) = 0) )) = 0; wr5: SIZEOF(QUERY ( pd <* USEDIN(SELF,'DIMENSIONAL_INSPECTION_SCHEMA.PROPERTY_DEFINITION.DEFINITION') | (NOT (SIZEOF(QUERY ( impl_rep <* QUERY ( pdr <* USEDIN(pd, 'DIMENSIONAL_INSPECTION_SCHEMA.' + 'PROPERTY_DEFINITION_REPRESENTATION.DEFINITION') | (( 'DIMENSIONAL_INSPECTION_SCHEMA.' + 'SHAPE_REPRESENTATION_WITH_PARAMETERS') IN TYPEOF(pdr. used_representation)) ) | (NOT (SIZEOF(QUERY ( it <* impl_rep.used_representation.items | ((SIZEOF([ 'DIMENSIONAL_INSPECTION_SCHEMA.MEASURE_REPRESENTATION_ITEM', 'DIMENSIONAL_INSPECTION_SCHEMA.LENGTH_MEASURE_WITH_UNIT'] * TYPEOF(it)) = 2) AND (it.name = 'effective length')) )) = 1)) )) = 0)) )) <= 1; wr6: SIZEOF(QUERY ( pd <* USEDIN(SELF,'DIMENSIONAL_INSPECTION_SCHEMA.PROPERTY_DEFINITION.DEFINITION') | (NOT (SIZEOF(QUERY ( impl_rep <* QUERY ( pdr <* USEDIN(pd, 'DIMENSIONAL_INSPECTION_SCHEMA.' + 'PROPERTY_DEFINITION_REPRESENTATION.DEFINITION') | (( 'DIMENSIONAL_INSPECTION_SCHEMA.' + 'SHAPE_REPRESENTATION_WITH_PARAMETERS') IN TYPEOF(pdr. used_representation)) ) | (NOT (SIZEOF(QUERY ( it <* impl_rep.used_representation.items | ((SIZEOF([ 'DIMENSIONAL_INSPECTION_SCHEMA.MEASURE_REPRESENTATION_ITEM', 'DIMENSIONAL_INSPECTION_SCHEMA.LENGTH_MEASURE_WITH_UNIT'] * TYPEOF(it)) = 2) AND (it.name = 'maximum length')) )) <= 1)) )) = 0)) )) = 0; wr7: SIZEOF(QUERY ( pd <* USEDIN(SELF,'DIMENSIONAL_INSPECTION_SCHEMA.PROPERTY_DEFINITION.DEFINITION') | (NOT (SIZEOF(QUERY ( impl_rep <* QUERY ( pdr <* USEDIN(pd, 'DIMENSIONAL_INSPECTION_SCHEMA.' + 'PROPERTY_DEFINITION_REPRESENTATION.DEFINITION') | (( 'DIMENSIONAL_INSPECTION_SCHEMA.' + 'SHAPE_REPRESENTATION_WITH_PARAMETERS') IN TYPEOF(pdr. used_representation)) ) | (NOT (SIZEOF(QUERY ( it <* impl_rep.used_representation.items | (( 'DIMENSIONAL_INSPECTION_SCHEMA.PLACEMENT' IN TYPEOF(it)) AND (it.name = 'orientation')) )) = 1)) )) = 0)) )) = 0; END_ENTITY; -- applied_area ENTITY applied_date_assignment SUBTYPE OF (date_assignment); items : SET [1:?] OF date_item; END_ENTITY; -- applied_date_assignment ENTITY applied_document_reference SUBTYPE OF (document_reference); items : SET [1:?] OF document_reference_item; END_ENTITY; -- applied_document_reference ENTITY applied_document_usage_constraint_assignment SUBTYPE OF (document_usage_constraint_assignment); items : SET [1:?] OF document_reference_item; END_ENTITY; -- applied_document_usage_constraint_assignment ENTITY applied_effectivity_assignment SUBTYPE OF (effectivity_assignment); items : SET [1:?] OF effectivity_item; END_ENTITY; -- applied_effectivity_assignment ENTITY applied_group_assignment SUBTYPE OF (group_assignment); items : SET [1:?] OF group_item; END_ENTITY; -- applied_group_assignment ENTITY applied_organization_assignment SUBTYPE OF (organization_assignment); items : SET [1:?] OF organization_item; END_ENTITY; -- applied_organization_assignment ENTITY applied_person_and_organization_assignment SUBTYPE OF (person_and_organization_assignment); items : SET [1:?] OF person_and_organization_item; END_ENTITY; -- applied_person_and_organization_assignment ENTITY applied_security_classification_assignment SUBTYPE OF (security_classification_assignment); items : SET [1:?] OF security_classification_item; END_ENTITY; -- applied_security_classification_assignment ENTITY axis1_placement SUBTYPE OF (placement); axis : OPTIONAL direction; DERIVE z : direction := NVL(normalise(axis),dummy_gri || direction([0,0,1])); WHERE wr1: SELF\geometric_representation_item.dim = 3; END_ENTITY; -- axis1_placement ENTITY axis2_placement_2d SUBTYPE OF (placement); ref_direction : OPTIONAL direction; DERIVE p : LIST [2:2] OF direction := build_2axes(ref_direction); WHERE wr1: SELF\geometric_representation_item.dim = 2; END_ENTITY; -- axis2_placement_2d ENTITY axis2_placement_3d SUBTYPE OF (placement); axis : OPTIONAL direction; ref_direction : OPTIONAL direction; DERIVE p : LIST [3:3] OF direction := build_axes(axis,ref_direction); WHERE wr1: SELF\placement.location.dim = 3; wr2: (NOT EXISTS(axis)) OR (axis.dim = 3); wr3: (NOT EXISTS(ref_direction)) OR (ref_direction.dim = 3); wr4: ((NOT EXISTS(axis)) OR (NOT EXISTS(ref_direction))) OR ( cross_product(axis,ref_direction).magnitude > 0); END_ENTITY; -- axis2_placement_3d ENTITY b_spline_curve SUPERTYPE OF (ONEOF (uniform_curve,b_spline_curve_with_knots, quasi_uniform_curve,bezier_curve) ANDOR rational_b_spline_curve) SUBTYPE OF (bounded_curve); degree : INTEGER; control_points_list : LIST [2:?] OF cartesian_point; curve_form : b_spline_curve_form; closed_curve : LOGICAL; self_intersect : LOGICAL; DERIVE upper_index_on_control_points : INTEGER := SIZEOF( control_points_list) - 1; control_points : ARRAY [0: upper_index_on_control_points] OF cartesian_point := list_to_array( control_points_list,0, upper_index_on_control_points); WHERE wr1: ((('DIMENSIONAL_INSPECTION_SCHEMA.UNIFORM_CURVE' IN TYPEOF(SELF)) OR ('DIMENSIONAL_INSPECTION_SCHEMA.QUASI_UNIFORM_CURVE' IN TYPEOF(SELF))) OR ( 'DIMENSIONAL_INSPECTION_SCHEMA.BEZIER_CURVE' IN TYPEOF(SELF))) OR ( 'DIMENSIONAL_INSPECTION_SCHEMA.B_SPLINE_CURVE_WITH_KNOTS' IN TYPEOF(SELF)); END_ENTITY; -- b_spline_curve ENTITY b_spline_curve_with_knots SUBTYPE OF (b_spline_curve); knot_multiplicities : LIST [2:?] OF INTEGER; knots : LIST [2:?] OF parameter_value; knot_spec : knot_type; DERIVE upper_index_on_knots : INTEGER := SIZEOF(knots); WHERE wr1: constraints_param_b_spline(degree,upper_index_on_knots, upper_index_on_control_points,knot_multiplicities,knots); wr2: SIZEOF(knot_multiplicities) = upper_index_on_knots; END_ENTITY; -- b_spline_curve_with_knots ENTITY b_spline_surface SUPERTYPE OF (ONEOF (b_spline_surface_with_knots,uniform_surface, quasi_uniform_surface,bezier_surface) ANDOR rational_b_spline_surface) SUBTYPE OF (bounded_surface); u_degree : INTEGER; v_degree : INTEGER; control_points_list : LIST [2:?] OF LIST [2:?] OF cartesian_point; surface_form : b_spline_surface_form; u_closed : LOGICAL; v_closed : LOGICAL; self_intersect : LOGICAL; DERIVE u_upper : INTEGER := SIZEOF(control_points_list) - 1; v_upper : INTEGER := SIZEOF(control_points_list[1]) - 1; control_points : ARRAY [0:u_upper] OF ARRAY [0:v_upper] OF cartesian_point := make_array_of_array( control_points_list,0,u_upper,0,v_upper); WHERE wr1: ((('DIMENSIONAL_INSPECTION_SCHEMA.UNIFORM_SURFACE' IN TYPEOF( SELF)) OR ( 'DIMENSIONAL_INSPECTION_SCHEMA.QUASI_UNIFORM_SURFACE' IN TYPEOF(SELF))) OR ( 'DIMENSIONAL_INSPECTION_SCHEMA.BEZIER_SURFACE' IN TYPEOF( SELF))) OR ( 'DIMENSIONAL_INSPECTION_SCHEMA.B_SPLINE_SURFACE_WITH_KNOTS' IN TYPEOF(SELF)); END_ENTITY; -- b_spline_surface ENTITY b_spline_surface_with_knots SUBTYPE OF (b_spline_surface); u_multiplicities : LIST [2:?] OF INTEGER; v_multiplicities : LIST [2:?] OF INTEGER; u_knots : LIST [2:?] OF parameter_value; v_knots : LIST [2:?] OF parameter_value; knot_spec : knot_type; DERIVE knot_u_upper : INTEGER := SIZEOF(u_knots); knot_v_upper : INTEGER := SIZEOF(v_knots); WHERE wr1: constraints_param_b_spline(SELF\b_spline_surface.u_degree, knot_u_upper,SELF\b_spline_surface.u_upper,u_multiplicities, u_knots); wr2: constraints_param_b_spline(SELF\b_spline_surface.v_degree, knot_v_upper,SELF\b_spline_surface.v_upper,v_multiplicities, v_knots); wr3: SIZEOF(u_multiplicities) = knot_u_upper; wr4: SIZEOF(v_multiplicities) = knot_v_upper; END_ENTITY; -- b_spline_surface_with_knots ENTITY bezier_curve SUBTYPE OF (b_spline_curve); END_ENTITY; -- bezier_curve ENTITY bezier_surface SUBTYPE OF (b_spline_surface); END_ENTITY; -- bezier_surface ENTITY block_shape_representation SUBTYPE OF (shape_representation_with_parameters); WHERE wr1: SIZEOF(SELF.items) = 4; wr2: SIZEOF(QUERY ( it <* SELF.items | (( 'DIMENSIONAL_INSPECTION_SCHEMA.PLACEMENT' IN TYPEOF(it)) AND (it.name = 'orientation')) )) = 1; wr3: SIZEOF(QUERY ( it <* SELF.items | ((SIZEOF([ 'DIMENSIONAL_INSPECTION_SCHEMA.MEASURE_REPRESENTATION_ITEM', 'DIMENSIONAL_INSPECTION_SCHEMA.LENGTH_MEASURE_WITH_UNIT'] * TYPEOF(it)) = 2) AND (it.name = 'length')) )) = 1; wr4: SIZEOF(QUERY ( it <* SELF.items | ((SIZEOF([ 'DIMENSIONAL_INSPECTION_SCHEMA.MEASURE_REPRESENTATION_ITEM', 'DIMENSIONAL_INSPECTION_SCHEMA.LENGTH_MEASURE_WITH_UNIT'] * TYPEOF(it)) = 2) AND (it.name = 'width')) )) = 1; wr5: SIZEOF(QUERY ( it <* SELF.items | ((SIZEOF([ 'DIMENSIONAL_INSPECTION_SCHEMA.MEASURE_REPRESENTATION_ITEM', 'DIMENSIONAL_INSPECTION_SCHEMA.LENGTH_MEASURE_WITH_UNIT'] * TYPEOF(it)) = 2) AND (it.name = 'height')) )) = 1; END_ENTITY; -- block_shape_representation ENTITY boss SUBTYPE OF (feature_definition); WHERE wr1 : SELF\characterized_object.description IN ['circular','complex', 'rectangular']; wr2 : SIZEOF(QUERY ( pds <* QUERY ( pd <* USEDIN(SELF,'DIMENSIONAL_INSPECTION_SCHEMA.PROPERTY_DEFINITION.DEFINITION') | ( 'DIMENSIONAL_INSPECTION_SCHEMA.PRODUCT_DEFINITION_SHAPE' IN TYPEOF(pd)) ) | (NOT (SIZEOF(QUERY ( sa_occ <* USEDIN(pds, 'DIMENSIONAL_INSPECTION_SCHEMA.SHAPE_ASPECT.OF_SHAPE') | (( sa_occ.description = 'boss height occurrence') AND (SIZEOF( QUERY ( sdr <* QUERY ( sar <* USEDIN(sa_occ, 'DIMENSIONAL_INSPECTION_SCHEMA.SHAPE_ASPECT_RELATIONSHIP.' + 'RELATED_SHAPE_ASPECT') | ((sar.description = 'path feature component usage') AND (( 'DIMENSIONAL_INSPECTION_SCHEMA.' + 'SHAPE_DEFINING_RELATIONSHIP') IN TYPEOF(sar))) ) | ((( 'DIMENSIONAL_INSPECTION_SCHEMA.PATH_FEATURE_COMPONENT' IN TYPEOF(sdr.relating_shape_aspect)) AND (sdr. relating_shape_aspect.description = 'linear')) AND (sdr. name = 'boss height')) )) = 1)) )) = 1)) )) = 0; wr3 : SIZEOF(QUERY ( pd <* USEDIN(SELF,'DIMENSIONAL_INSPECTION_SCHEMA.PROPERTY_DEFINITION.DEFINITION') | (SIZEOF(QUERY ( pdr <* USEDIN(pd, 'DIMENSIONAL_INSPECTION_SCHEMA.' + 'PROPERTY_DEFINITION_REPRESENTATION.DEFINITION') | ((( 'DIMENSIONAL_INSPECTION_SCHEMA.' + 'SHAPE_REPRESENTATION_WITH_PARAMETERS') IN TYPEOF(pdr. used_representation)) AND ((1 <= SIZEOF(pdr. used_representation.items)) AND (SIZEOF(pdr. used_representation.items) <= 2))) )) = 1) )) = 1; wr4 : SIZEOF(QUERY ( pd <* USEDIN(SELF,'DIMENSIONAL_INSPECTION_SCHEMA.PROPERTY_DEFINITION.DEFINITION') | (SIZEOF(QUERY ( pdr <* USEDIN(pd, 'DIMENSIONAL_INSPECTION_SCHEMA.' + 'PROPERTY_DEFINITION_REPRESENTATION.DEFINITION') | ((( 'DIMENSIONAL_INSPECTION_SCHEMA.' + 'SHAPE_REPRESENTATION_WITH_PARAMETERS') IN TYPEOF(pdr. used_representation)) AND (SIZEOF(QUERY ( srwp_i <* pdr. used_representation.items | ((srwp_i.name = 'orientation') OR (srwp_i.name = 'fillet radius')) )) = SIZEOF(pdr. used_representation.items))) )) = 1) )) = 1; wr5 : SIZEOF(QUERY ( pd <* USEDIN(SELF,'DIMENSIONAL_INSPECTION_SCHEMA.PROPERTY_DEFINITION.DEFINITION') | (NOT (SIZEOF(QUERY ( impl_rep <* QUERY ( pdr <* USEDIN( pd,'DIMENSIONAL_INSPECTION_SCHEMA.' + 'PROPERTY_DEFINITION_REPRESENTATION.DEFINITION') | (( 'DIMENSIONAL_INSPECTION_SCHEMA.' + 'SHAPE_REPRESENTATION_WITH_PARAMETERS') IN TYPEOF(pdr. used_representation)) ) | (NOT (SIZEOF(QUERY ( it <* impl_rep.used_representation.items | ((SIZEOF(['DIMENSIONAL_INSPECTION_SCHEMA.MEASURE_REPRESENTATION_ITEM', 'DIMENSIONAL_INSPECTION_SCHEMA.LENGTH_MEASURE_WITH_UNIT'] * TYPEOF(it)) = 2) AND (it.name = 'fillet radius')) )) <= 1)) )) = 0)) )) = 0; wr6 : (NOT (SELF\characterized_object.description = 'circular')) OR (SIZEOF(QUERY ( pds <* QUERY ( pd <* USEDIN(SELF,'DIMENSIONAL_INSPECTION_SCHEMA.PROPERTY_DEFINITION.DEFINITION') | ( 'DIMENSIONAL_INSPECTION_SCHEMA.PRODUCT_DEFINITION_SHAPE' IN TYPEOF(pd)) ) | (NOT (SIZEOF(QUERY ( sa_occ <* USEDIN(pds, 'DIMENSIONAL_INSPECTION_SCHEMA.SHAPE_ASPECT.OF_SHAPE') | (( sa_occ.description = 'circular profile occurrence') AND ( SIZEOF(QUERY ( sdr <* QUERY ( sar <* USEDIN(sa_occ, 'DIMENSIONAL_INSPECTION_SCHEMA.SHAPE_ASPECT_RELATIONSHIP.' + 'RELATED_SHAPE_ASPECT') | ((sar.description = 'profile usage') AND ('DIMENSIONAL_INSPECTION_SCHEMA.SHAPE_DEFINING_RELATIONSHIP' IN TYPEOF(sar))) ) | ( 'DIMENSIONAL_INSPECTION_SCHEMA.CIRCULAR_CLOSED_PROFILE' IN TYPEOF(sdr.relating_shape_aspect)) )) = 1)) )) = 1)) )) = 0); wr7 : SIZEOF(QUERY ( pds <* QUERY ( pd <* USEDIN(SELF,'DIMENSIONAL_INSPECTION_SCHEMA.PROPERTY_DEFINITION.DEFINITION') | ( 'DIMENSIONAL_INSPECTION_SCHEMA.PRODUCT_DEFINITION_SHAPE' IN TYPEOF(pd)) ) | (NOT (SIZEOF(QUERY ( sa_occ <* USEDIN(pds, 'DIMENSIONAL_INSPECTION_SCHEMA.SHAPE_ASPECT.OF_SHAPE') | (( sa_occ.description = 'top condition occurrence') AND ( SIZEOF(QUERY ( fcr <* QUERY ( sar <* USEDIN(sa_occ,'DIMENSIONAL_INSPECTION_SCHEMA.SHAPE_ASPECT_RELATIONSHIP.RELATED_SHAPE_ASPECT') | ((sar.description = 'boss top usage') AND ('DIMENSIONAL_INSPECTION_SCHEMA.FEATURE_COMPONENT_RELATIONSHIP' IN TYPEOF(sar))) ) | ( 'DIMENSIONAL_INSPECTION_SCHEMA.BOSS_TOP' IN TYPEOF(fcr. relating_shape_aspect)) )) = 1)) )) = 1)) )) = 0; wr8 : (NOT (SELF\characterized_object.description = 'circular')) OR (SIZEOF(QUERY ( pds <* QUERY ( pd <* USEDIN(SELF,'DIMENSIONAL_INSPECTION_SCHEMA.PROPERTY_DEFINITION.DEFINITION') | ( 'DIMENSIONAL_INSPECTION_SCHEMA.PRODUCT_DEFINITION_SHAPE' IN TYPEOF(pd)) ) | (NOT (SIZEOF(QUERY ( sa_occ <* USEDIN(pds, 'DIMENSIONAL_INSPECTION_SCHEMA.SHAPE_ASPECT.OF_SHAPE') | (( sa_occ.description = 'change in diameter occurrence') AND ( SIZEOF(QUERY ( fcr <* QUERY ( sar <* USEDIN(sa_occ, 'DIMENSIONAL_INSPECTION_SCHEMA.SHAPE_ASPECT_RELATIONSHIP.' + 'RELATED_SHAPE_ASPECT') | ((sar.description = 'taper usage') AND ('DIMENSIONAL_INSPECTION_SCHEMA.FEATURE_COMPONENT_RELATIONSHIP' IN TYPEOF(sar))) ) | (( 'DIMENSIONAL_INSPECTION_SCHEMA.TAPER' IN TYPEOF(fcr. related_shape_aspect)) AND ( 'DIMENSIONAL_INSPECTION_SCHEMA.BOSS' IN TYPEOF(fcr. relating_shape_aspect))) )) = 1)) )) <= 1)) )) = 0); wr9 : (NOT (SELF\characterized_object.description = 'complex')) OR ( SIZEOF(QUERY ( pds <* QUERY ( pd <* USEDIN(SELF,'DIMENSIONAL_INSPECTION_SCHEMA.PROPERTY_DEFINITION.DEFINITION') | ( 'DIMENSIONAL_INSPECTION_SCHEMA.PRODUCT_DEFINITION_SHAPE' IN TYPEOF(pd)) ) | (NOT (SIZEOF(QUERY ( sa_occ <* USEDIN(pds, 'DIMENSIONAL_INSPECTION_SCHEMA.SHAPE_ASPECT.OF_SHAPE') | (( sa_occ.description = 'enclosed boundary occurrence') AND ( SIZEOF(QUERY ( sdr <* QUERY ( sar <* USEDIN(sa_occ, 'DIMENSIONAL_INSPECTION_SCHEMA.SHAPE_ASPECT_RELATIONSHIP.' + 'RELATED_SHAPE_ASPECT') | ((sar.description = 'profile usage') AND ('DIMENSIONAL_INSPECTION_SCHEMA.SHAPE_DEFINING_RELATIONSHIP' IN TYPEOF(sar))) ) | (SIZEOF([ 'DIMENSIONAL_INSPECTION_SCHEMA.NGON_CLOSED_PROFILE', 'DIMENSIONAL_INSPECTION_SCHEMA.CLOSED_PATH_PROFILE'] * TYPEOF(sdr.relating_shape_aspect)) = 1) )) = 1)) )) = 1)) )) = 0); wr10: (NOT (SELF\characterized_object.description IN ['complex', 'rectangular'])) OR (SIZEOF(QUERY ( pds <* QUERY ( pd <* USEDIN(SELF,'DIMENSIONAL_INSPECTION_SCHEMA.PROPERTY_DEFINITION.DEFINITION') | ( 'DIMENSIONAL_INSPECTION_SCHEMA.PRODUCT_DEFINITION_SHAPE' IN TYPEOF(pd)) ) | (NOT (SIZEOF(QUERY ( sa_occ <* USEDIN(pds, 'DIMENSIONAL_INSPECTION_SCHEMA.SHAPE_ASPECT.OF_SHAPE') | (( sa_occ.description = 'change in boundary occurrence') AND ( SIZEOF(QUERY ( fcr <* QUERY ( sar <* USEDIN(sa_occ, 'DIMENSIONAL_INSPECTION_SCHEMA.SHAPE_ASPECT_RELATIONSHIP.' + 'RELATING_SHAPE_ASPECT') | ((sar.description = 'taper usage') AND ('DIMENSIONAL_INSPECTION_SCHEMA.FEATURE_COMPONENT_RELATIONSHIP' IN TYPEOF(sar))) ) | ((( 'DIMENSIONAL_INSPECTION_SCHEMA.TAPER' IN TYPEOF(fcr. related_shape_aspect)) AND ( 'DIMENSIONAL_INSPECTION_SCHEMA.BOSS' IN TYPEOF(fcr. relating_shape_aspect))) AND (fcr.related_shape_aspect. description IN ['angle taper','directed taper'])) )) = 1)) )) <= 1)) )) = 0); wr11: (NOT (SELF\characterized_object.description = 'rectangular')) OR (SIZEOF(QUERY ( pds <* QUERY ( pd <* USEDIN(SELF,'DIMENSIONAL_INSPECTION_SCHEMA.PROPERTY_DEFINITION.DEFINITION') | ( 'DIMENSIONAL_INSPECTION_SCHEMA.PRODUCT_DEFINITION_SHAPE' IN TYPEOF(pd)) ) | (NOT (SIZEOF(QUERY ( sa_occ <* USEDIN(pds, 'DIMENSIONAL_INSPECTION_SCHEMA.SHAPE_ASPECT.OF_SHAPE') | (( sa_occ.description = 'rectangular profile occurrence') AND (SIZEOF(QUERY ( sdr <* QUERY ( sar <* USEDIN(sa_occ, 'DIMENSIONAL_INSPECTION_SCHEMA.SHAPE_ASPECT_RELATIONSHIP.' + 'RELATED_SHAPE_ASPECT') | ((sar.description = 'profile usage') AND ('DIMENSIONAL_INSPECTION_SCHEMA.SHAPE_DEFINING_RELATIONSHIP' IN TYPEOF(sar))) ) | ( 'DIMENSIONAL_INSPECTION_SCHEMA.RECTANGULAR_CLOSED_PROFILE' IN TYPEOF(sdr.relating_shape_aspect)) )) = 1)) )) = 1)) )) = 0); wr12: SIZEOF(QUERY ( pdr <* get_property_definition_representations( SELF) | (('DIMENSIONAL_INSPECTION_SCHEMA.PLANAR_SHAPE_REPRESENTATION' IN TYPEOF(pdr.used_representation)) AND (pdr. used_representation.name = 'maximum feature limit')) )) >= 0; END_ENTITY; -- boss ENTITY boss_top SUBTYPE OF (shape_aspect); WHERE wr1: 'DIMENSIONAL_INSPECTION_SCHEMA.FEATURE_COMPONENT_DEFINITION' IN TYPEOF(SELF.of_shape.definition); wr2: SELF.description IN ['planar','complex']; wr3: (NOT (SELF.description = 'planar')) OR (SIZEOF(QUERY ( pd <* USEDIN(SELF,'DIMENSIONAL_INSPECTION_SCHEMA.PROPERTY_DEFINITION.DEFINITION') | (NOT (SIZEOF(QUERY ( pdr <* USEDIN(pd, 'DIMENSIONAL_INSPECTION_SCHEMA.' + 'PROPERTY_DEFINITION_REPRESENTATION.DEFINITION') | ('DIMENSIONAL_INSPECTION_SCHEMA.DIRECTION_SHAPE_REPRESENTATION' IN TYPEOF(pdr.used_representation)) )) = 1)) )) = 0); wr4: (NOT (SELF.description = 'planar')) OR (SIZEOF(QUERY ( pd <* USEDIN(SELF,'DIMENSIONAL_INSPECTION_SCHEMA.PROPERTY_DEFINITION.DEFINITION') | (NOT (SIZEOF(QUERY ( pdr <* USEDIN(pd, 'DIMENSIONAL_INSPECTION_SCHEMA.' + 'PROPERTY_DEFINITION_REPRESENTATION.DEFINITION') | ('DIMENSIONAL_INSPECTION_SCHEMA.LOCATION_SHAPE_REPRESENTATION' IN TYPEOF(pdr.used_representation)) )) = 1)) )) = 0); wr5: (NOT (SELF.description = 'complex')) OR (SIZEOF(QUERY ( pd <* USEDIN(SELF,'DIMENSIONAL_INSPECTION_SCHEMA.PROPERTY_DEFINITION.DEFINITION') | (NOT (SIZEOF(QUERY ( pdr <* USEDIN(pd, 'DIMENSIONAL_INSPECTION_SCHEMA.' + 'PROPERTY_DEFINITION_REPRESENTATION.DEFINITION') | ( 'DIMENSIONAL_INSPECTION_SCHEMA.FACE_SHAPE_REPRESENTATION' IN TYPEOF(pdr.used_representation)) )) = 1)) )) = 0); wr6: SIZEOF(QUERY ( fcr <* QUERY ( sar <* USEDIN(SELF, 'DIMENSIONAL_INSPECTION_SCHEMA.SHAPE_ASPECT_RELATIONSHIP.' + 'RELATING_SHAPE_ASPECT') | (((sar.description = 'boss top usage') AND (sar.name IN ['boss height start', 'boss height end'])) AND ('DIMENSIONAL_INSPECTION_SCHEMA.FEATURE_COMPONENT_RELATIONSHIP' IN TYPEOF(sar))) ) | (((fcr.related_shape_aspect.description = 'top condition occurrence') AND ( 'DIMENSIONAL_INSPECTION_SCHEMA.BOSS' IN TYPEOF(fcr. related_shape_aspect.of_shape.definition))) AND ( 'DIMENSIONAL_INSPECTION_SCHEMA.BOSS_TOP' IN TYPEOF(fcr. relating_shape_aspect))) )) >= 1; wr7: SIZEOF(QUERY ( pd <* USEDIN(SELF,'DIMENSIONAL_INSPECTION_SCHEMA.PROPERTY_DEFINITION.DEFINITION') | (NOT (SIZEOF(QUERY ( pdr <* USEDIN(pd, 'DIMENSIONAL_INSPECTION_SCHEMA.' + 'PROPERTY_DEFINITION_REPRESENTATION.DEFINITION') | (( 'DIMENSIONAL_INSPECTION_SCHEMA.' + 'SHAPE_REPRESENTATION_WITH_PARAMETERS') IN TYPEOF(pdr. used_representation)) )) <= 1)) )) = 0; wr8: SIZEOF(QUERY ( pd <* USEDIN(SELF,'DIMENSIONAL_INSPECTION_SCHEMA.PROPERTY_DEFINITION.DEFINITION') | (NOT (SIZEOF(QUERY ( impl_rep <* QUERY ( pdr <* USEDIN(pd, 'DIMENSIONAL_INSPECTION_SCHEMA.' + 'PROPERTY_DEFINITION_REPRESENTATION.DEFINITION') | (( 'DIMENSIONAL_INSPECTION_SCHEMA.' + 'SHAPE_REPRESENTATION_WITH_PARAMETERS') IN TYPEOF(pdr. used_representation)) ) | (NOT (SIZEOF(impl_rep. used_representation.items) = 1)) )) = 0)) )) = 0; wr9: SIZEOF(QUERY ( pd <* USEDIN(SELF,'DIMENSIONAL_INSPECTION_SCHEMA.PROPERTY_DEFINITION.DEFINITION') | (NOT (SIZEOF(QUERY ( impl_rep <* QUERY ( pdr <* USEDIN(pd, 'DIMENSIONAL_INSPECTION_SCHEMA.' + 'PROPERTY_DEFINITION_REPRESENTATION.DEFINITION') | (( 'DIMENSIONAL_INSPECTION_SCHEMA.' + 'SHAPE_REPRESENTATION_WITH_PARAMETERS') IN TYPEOF(pdr. used_representation)) ) | (NOT (SIZEOF(QUERY ( it <* impl_rep.used_representation.items | ((SIZEOF([ 'DIMENSIONAL_INSPECTION_SCHEMA.MEASURE_REPRESENTATION_ITEM', 'DIMENSIONAL_INSPECTION_SCHEMA.LENGTH_MEASURE_WITH_UNIT'] * TYPEOF(it)) = 2) AND (it.name = 'top radius')) )) <= 1)) )) = 0)) )) = 0; END_ENTITY; -- boss_top ENTITY bounded_curve SUPERTYPE OF (ONEOF (polyline,b_spline_curve,composite_curve)) SUBTYPE OF (curve); END_ENTITY; -- bounded_curve ENTITY bounded_surface SUPERTYPE OF (b_spline_surface) SUBTYPE OF (surface); END_ENTITY; -- bounded_surface ENTITY brep_with_voids SUBTYPE OF (manifold_solid_brep); voids : SET [1:?] OF oriented_closed_shell; END_ENTITY; -- brep_with_voids ENTITY calendar_date SUBTYPE OF (date); day_component : day_in_month_number; month_component : month_in_year_number; WHERE wr1: valid_calendar_date(SELF); END_ENTITY; -- calendar_date ENTITY cartesian_point SUBTYPE OF (point); coordinates : LIST [1:3] OF length_measure; END_ENTITY; -- cartesian_point ENTITY cartesian_transformation_operator SUPERTYPE OF (cartesian_transformation_operator_3d) SUBTYPE OF (geometric_representation_item, functionally_defined_transformation); axis1 : OPTIONAL direction; axis2 : OPTIONAL direction; local_origin : cartesian_point; scale : OPTIONAL REAL; DERIVE scl : REAL := NVL(scale,1); WHERE wr1: scl > 0; END_ENTITY; -- cartesian_transformation_operator ENTITY cartesian_transformation_operator_3d SUBTYPE OF (cartesian_transformation_operator); axis3 : OPTIONAL direction; DERIVE u : LIST [3:3] OF direction := base_axis(3,SELF\ cartesian_transformation_operator.axis1,SELF\ cartesian_transformation_operator.axis2,axis3); WHERE wr1: SELF\geometric_representation_item.dim = 3; END_ENTITY; -- cartesian_transformation_operator_3d ENTITY centre_of_symmetry SUBTYPE OF (derived_shape_aspect); WHERE wr1: SIZEOF(QUERY ( sadr <* deriving_relationships | (NOT ( 'DIMENSIONAL_INSPECTION_SCHEMA.SYMMETRIC_SHAPE_ASPECT' IN TYPEOF(sadr.related_shape_aspect))) )) = 0; END_ENTITY; -- centre_of_symmetry ENTITY chamfer SUBTYPE OF (transition_feature); WHERE wr1: SIZEOF(QUERY ( pd <* USEDIN(SELF,'DIMENSIONAL_INSPECTION_SCHEMA.PROPERTY_DEFINITION.DEFINITION') | (NOT (SIZEOF(QUERY ( pdr <* USEDIN(pd, 'DIMENSIONAL_INSPECTION_SCHEMA.' + 'PROPERTY_DEFINITION_REPRESENTATION.DEFINITION') | (( 'DIMENSIONAL_INSPECTION_SCHEMA.FACE_SHAPE_REPRESENTATION' IN TYPEOF(pdr.used_representation)) AND (pdr. used_representation.name = 'chamfer face')) )) <= 1)) )) = 0; wr2: SIZEOF(QUERY ( fcr <* QUERY ( sar <* USEDIN(SELF, 'DIMENSIONAL_INSPECTION_SCHEMA.SHAPE_ASPECT_RELATIONSHIP.' + 'RELATING_SHAPE_ASPECT') | ('DIMENSIONAL_INSPECTION_SCHEMA.FEATURE_COMPONENT_RELATIONSHIP' IN TYPEOF(sar)) ) | ((( 'DIMENSIONAL_INSPECTION_SCHEMA.CHAMFER_OFFSET' IN TYPEOF(fcr .related_shape_aspect)) AND ( 'DIMENSIONAL_INSPECTION_SCHEMA.CHAMFER' IN TYPEOF(fcr. relating_shape_aspect))) AND (fcr.related_shape_aspect. description = 'first offset')) )) = 1; wr3: SIZEOF(QUERY ( fcr <* QUERY ( sar <* USEDIN(SELF, 'DIMENSIONAL_INSPECTION_SCHEMA.SHAPE_ASPECT_RELATIONSHIP.' + 'RELATING_SHAPE_ASPECT') | ('DIMENSIONAL_INSPECTION_SCHEMA.FEATURE_COMPONENT_RELATIONSHIP' IN TYPEOF(sar)) ) | ((( 'DIMENSIONAL_INSPECTION_SCHEMA.CHAMFER_OFFSET' IN TYPEOF(fcr .related_shape_aspect)) AND ( 'DIMENSIONAL_INSPECTION_SCHEMA.CHAMFER' IN TYPEOF(fcr. relating_shape_aspect))) AND (fcr.related_shape_aspect. description = 'second offset')) )) = 1; END_ENTITY; -- chamfer ENTITY chamfer_offset SUBTYPE OF (shape_aspect); WHERE wr1: SELF.description IN ['first offset','second offset']; wr2: SIZEOF(QUERY ( pd <* USEDIN(SELF,'DIMENSIONAL_INSPECTION_SCHEMA.PROPERTY_DEFINITION.DEFINITION') | (NOT (SIZEOF(QUERY ( pdr <* USEDIN(pd, 'DIMENSIONAL_INSPECTION_SCHEMA.' + 'PROPERTY_DEFINITION_REPRESENTATION.DEFINITION') | (( 'DIMENSIONAL_INSPECTION_SCHEMA.' + 'SHAPE_REPRESENTATION_WITH_PARAMETERS') IN TYPEOF(pdr. used_representation)) )) = 1)) )) = 0; wr3: SIZEOF(QUERY ( pd <* USEDIN(SELF,'DIMENSIONAL_INSPECTION_SCHEMA.PROPERTY_DEFINITION.DEFINITION') | (NOT (SIZEOF(QUERY ( impl_rep <* QUERY ( pdr <* USEDIN(pd, 'DIMENSIONAL_INSPECTION_SCHEMA.' + 'PROPERTY_DEFINITION_REPRESENTATION.DEFINITION') | (( 'DIMENSIONAL_INSPECTION_SCHEMA.' + 'SHAPE_REPRESENTATION_WITH_PARAMETERS') IN TYPEOF(pdr. used_representation)) ) | (NOT (SIZEOF(impl_rep. used_representation.items) = 1)) )) = 0)) )) = 0; wr4: (NOT (SELF.description = 'first offset')) OR (SIZEOF( QUERY ( pd <* USEDIN(SELF,'DIMENSIONAL_INSPECTION_SCHEMA.PROPERTY_DEFINITION.DEFINITION') | (NOT (SIZEOF(QUERY ( impl_rep <* QUERY ( pdr <* USEDIN(pd, 'DIMENSIONAL_INSPECTION_SCHEMA.' + 'PROPERTY_DEFINITION_REPRESENTATION.DEFINITION') | (( 'DIMENSIONAL_INSPECTION_SCHEMA.' + 'SHAPE_REPRESENTATION_WITH_PARAMETERS') IN TYPEOF(pdr. used_representation)) ) | (NOT (SIZEOF(QUERY ( it <* impl_rep.used_representation.items | ((SIZEOF([ 'DIMENSIONAL_INSPECTION_SCHEMA.MEASURE_REPRESENTATION_ITEM', 'DIMENSIONAL_INSPECTION_SCHEMA.LENGTH_MEASURE_WITH_UNIT'] * TYPEOF(it)) = 2) AND (it.name = 'offset amount')) )) = 1)) )) = 0)) )) = 0); wr5: (NOT (SELF.description = 'first offset')) OR (SIZEOF( QUERY ( pd <* USEDIN(SELF,'DIMENSIONAL_INSPECTION_SCHEMA.PROPERTY_DEFINITION.DEFINITION') | (NOT (SIZEOF(QUERY ( pdr <* USEDIN(pd, 'DIMENSIONAL_INSPECTION_SCHEMA.' + 'PROPERTY_DEFINITION_REPRESENTATION.DEFINITION') | (( 'DIMENSIONAL_INSPECTION_SCHEMA.FACE_SHAPE_REPRESENTATION' IN TYPEOF(pdr.used_representation)) AND (pdr. used_representation.name = 'first face shape')) )) <= 1)) )) = 0); wr6: (NOT (SELF.description = 'second offset')) OR (SIZEOF( QUERY ( pd <* USEDIN(SELF,'DIMENSIONAL_INSPECTION_SCHEMA.PROPERTY_DEFINITION.DEFINITION') | (NOT (SIZEOF(QUERY ( impl_rep <* QUERY ( pdr <* USEDIN(pd, 'DIMENSIONAL_INSPECTION_SCHEMA.' + 'PROPERTY_DEFINITION_REPRESENTATION.DEFINITION') | (( 'DIMENSIONAL_INSPECTION_SCHEMA.' + 'SHAPE_REPRESENTATION_WITH_PARAMETERS') IN TYPEOF(pdr. used_representation)) ) | (NOT (SIZEOF(QUERY ( it <* impl_rep.used_representation.items | (((SIZEOF([ 'DIMENSIONAL_INSPECTION_SCHEMA.MEASURE_REPRESENTATION_ITEM', 'DIMENSIONAL_INSPECTION_SCHEMA.LENGTH_MEASURE_WITH_UNIT'] * TYPEOF(it)) = 2) AND (it.name = 'offset amount')) OR (( SIZEOF([ 'DIMENSIONAL_INSPECTION_SCHEMA.MEASURE_REPRESENTATION_ITEM','DIMENSIONAL_INSPECTION_SCHEMA.PLANE_ANGLE_MEASURE_WITH_UNIT'] * TYPEOF(it)) = 2) AND (it.name = 'offset angle'))) )) = 1)) )) = 0)) )) = 0); wr7: (NOT (SELF.description = 'second offset')) OR (SIZEOF( QUERY ( pd <* USEDIN(SELF,'DIMENSIONAL_INSPECTION_SCHEMA.PROPERTY_DEFINITION.DEFINITION') | (NOT (SIZEOF(QUERY ( pdr <* USEDIN(pd, 'DIMENSIONAL_INSPECTION_SCHEMA.' + 'PROPERTY_DEFINITION_REPRESENTATION.DEFINITION') | (( 'DIMENSIONAL_INSPECTION_SCHEMA.FACE_SHAPE_REPRESENTATION' IN TYPEOF(pdr.used_representation)) AND (pdr. used_representation.name = 'second face shape')) )) <= 1)) )) = 0); wr8: SIZEOF(QUERY ( sdr <* QUERY ( sar <* USEDIN(SELF, 'DIMENSIONAL_INSPECTION_SCHEMA.SHAPE_ASPECT_RELATIONSHIP.' + 'RELATED_SHAPE_ASPECT') | (( 'DIMENSIONAL_INSPECTION_SCHEMA.' + 'FEATURE_COMPONENT_RELATIONSHIP') IN TYPEOF(sar)) ) | (( 'DIMENSIONAL_INSPECTION_SCHEMA.CHAMFER' IN TYPEOF(sdr. relating_shape_aspect)) AND ( 'DIMENSIONAL_INSPECTION_SCHEMA.CHAMFER_OFFSET' IN TYPEOF(sdr .related_shape_aspect))) )) = 1; END_ENTITY; -- chamfer_offset ENTITY characterized_object; name : label; description : OPTIONAL text; END_ENTITY; -- characterized_object ENTITY circle SUBTYPE OF (conic); radius : positive_length_measure; END_ENTITY; -- circle ENTITY circular_closed_profile SUBTYPE OF (shape_aspect); WHERE wr1: 'DIMENSIONAL_INSPECTION_SCHEMA.FEATURE_COMPONENT_DEFINITION' IN TYPEOF(SELF.of_shape.definition); wr2: SIZEOF(QUERY ( pd <* USEDIN(SELF,'DIMENSIONAL_INSPECTION_SCHEMA.PROPERTY_DEFINITION.DEFINITION') | (NOT (SIZEOF(QUERY ( pdr <* USEDIN(pd, 'DIMENSIONAL_INSPECTION_SCHEMA.' + 'PROPERTY_DEFINITION_REPRESENTATION.DEFINITION') | (( 'DIMENSIONAL_INSPECTION_SCHEMA.' + 'SHAPE_REPRESENTATION_WITH_PARAMETERS') IN TYPEOF(pdr. used_representation)) )) = 1)) )) = 0; wr3: SIZEOF(QUERY ( pd <* USEDIN(SELF,'DIMENSIONAL_INSPECTION_SCHEMA.PROPERTY_DEFINITION.DEFINITION') | (NOT (SIZEOF(QUERY ( impl_rep <* QUERY ( pdr <* USEDIN(pd, 'DIMENSIONAL_INSPECTION_SCHEMA.' + 'PROPERTY_DEFINITION_REPRESENTATION.DEFINITION') | (( 'DIMENSIONAL_INSPECTION_SCHEMA.' + 'SHAPE_REPRESENTATION_WITH_PARAMETERS') IN TYPEOF(pdr. used_representation)) ) | (NOT (SIZEOF(impl_rep. used_representation.items) = 2)) )) = 0)) )) = 0; wr4: SIZEOF(QUERY ( pd <* USEDIN(SELF,'DIMENSIONAL_INSPECTION_SCHEMA.PROPERTY_DEFINITION.DEFINITION') | (NOT (SIZEOF(QUERY ( impl_rep <* QUERY ( pdr <* USEDIN(pd, 'DIMENSIONAL_INSPECTION_SCHEMA.' + 'PROPERTY_DEFINITION_REPRESENTATION.DEFINITION') | (( 'DIMENSIONAL_INSPECTION_SCHEMA.' + 'SHAPE_REPRESENTATION_WITH_PARAMETERS') IN TYPEOF(pdr. used_representation)) ) | (NOT (SIZEOF(QUERY ( it <* impl_rep.used_representation.items | (( 'DIMENSIONAL_INSPECTION_SCHEMA.PLACEMENT' IN TYPEOF(it)) AND (it.name = 'orientation')) )) = 1)) )) = 0)) )) = 0; wr5: SIZEOF(QUERY ( pd <* USEDIN(SELF,'DIMENSIONAL_INSPECTION_SCHEMA.PROPERTY_DEFINITION.DEFINITION') | (NOT (SIZEOF(QUERY ( impl_rep <* QUERY ( pdr <* USEDIN(pd, 'DIMENSIONAL_INSPECTION_SCHEMA.' + 'PROPERTY_DEFINITION_REPRESENTATION.DEFINITION') | (( 'DIMENSIONAL_INSPECTION_SCHEMA.' + 'SHAPE_REPRESENTATION_WITH_PARAMETERS') IN TYPEOF(pdr. used_representation)) ) | (NOT (SIZEOF(QUERY ( it <* impl_rep.used_representation.items | ((SIZEOF([ 'DIMENSIONAL_INSPECTION_SCHEMA.MEASURE_REPRESENTATION_ITEM', 'DIMENSIONAL_INSPECTION_SCHEMA.LENGTH_MEASURE_WITH_UNIT'] * TYPEOF(it)) = 2) AND (it.name = 'diameter')) )) = 1)) )) = 0)) )) = 0; END_ENTITY; -- circular_closed_profile ENTITY circular_pattern SUBTYPE OF (replicate_feature); WHERE wr1: SIZEOF(QUERY ( pds <* QUERY ( pd <* USEDIN(SELF,'DIMENSIONAL_INSPECTION_SCHEMA.PROPERTY_DEFINITION.DEFINITION') | ('DIMENSIONAL_INSPECTION_SCHEMA.PRODUCT_DEFINITION_SHAPE' IN TYPEOF(pd)) ) | (NOT (SIZEOF(QUERY ( sa_occ <* USEDIN(pds, 'DIMENSIONAL_INSPECTION_SCHEMA.SHAPE_ASPECT.OF_SHAPE') | ( SIZEOF(QUERY ( sdr <* QUERY ( sar <* USEDIN(sa_occ, 'DIMENSIONAL_INSPECTION_SCHEMA.SHAPE_ASPECT_RELATIONSHIP.' + 'RELATING_SHAPE_ASPECT') | ('DIMENSIONAL_INSPECTION_SCHEMA.FEATURE_COMPONENT_RELATIONSHIP' IN TYPEOF(sar)) ) | ( 'DIMENSIONAL_INSPECTION_SCHEMA.SHAPE_ASPECT' IN TYPEOF(sdr. related_shape_aspect)) )) = 1) )) <= 3)) )) = 0; wr2: SIZEOF(QUERY ( pd <* USEDIN(SELF,'DIMENSIONAL_INSPECTION_SCHEMA.PROPERTY_DEFINITION.DEFINITION') | (NOT (SIZEOF(QUERY ( pdr <* USEDIN(pd, 'DIMENSIONAL_INSPECTION_SCHEMA.' + 'PROPERTY_DEFINITION_REPRESENTATION.DEFINITION') | (( 'DIMENSIONAL_INSPECTION_SCHEMA.' + 'SHAPE_REPRESENTATION_WITH_PARAMETERS') IN TYPEOF(pdr. used_representation)) )) = 1)) )) = 0; wr3: SIZEOF(QUERY ( pd <* USEDIN(SELF,'DIMENSIONAL_INSPECTION_SCHEMA.PROPERTY_DEFINITION.DEFINITION') | (NOT (SIZEOF(QUERY ( impl_rep <* QUERY ( pdr <* USEDIN(pd, 'DIMENSIONAL_INSPECTION_SCHEMA.' + 'PROPERTY_DEFINITION_REPRESENTATION.DEFINITION') | (( 'DIMENSIONAL_INSPECTION_SCHEMA.' + 'SHAPE_REPRESENTATION_WITH_PARAMETERS') IN TYPEOF(pdr. used_representation)) ) | (NOT ((SIZEOF(impl_rep. used_representation.items) >= 3) AND (SIZEOF(impl_rep. used_representation.items) <= 5))) )) = 0)) )) = 0; wr4: SIZEOF(QUERY ( pd <* USEDIN(SELF,'DIMENSIONAL_INSPECTION_SCHEMA.PROPERTY_DEFINITION.DEFINITION') | (NOT (SIZEOF(QUERY ( impl_rep <* QUERY ( pdr <* USEDIN(pd, 'DIMENSIONAL_INSPECTION_SCHEMA.' + 'PROPERTY_DEFINITION_REPRESENTATION.DEFINITION') | (( 'DIMENSIONAL_INSPECTION_SCHEMA.' + 'SHAPE_REPRESENTATION_WITH_PARAMETERS') IN TYPEOF(pdr. used_representation)) ) | (NOT (SIZEOF(QUERY ( it <* impl_rep.used_representation.items | ((SIZEOF([ 'DIMENSIONAL_INSPECTION_SCHEMA.MEASURE_REPRESENTATION_ITEM', 'DIMENSIONAL_INSPECTION_SCHEMA.LENGTH_MEASURE_WITH_UNIT'] * TYPEOF(it)) = 2) AND (it.name = 'diameter')) )) <= 1)) )) = 0)) )) = 0; wr5: SIZEOF(QUERY ( pd <* USEDIN(SELF,'DIMENSIONAL_INSPECTION_SCHEMA.PROPERTY_DEFINITION.DEFINITION') | (NOT (SIZEOF(QUERY ( impl_rep <* QUERY ( pdr <* USEDIN(pd, 'DIMENSIONAL_INSPECTION_SCHEMA.' + 'PROPERTY_DEFINITION_REPRESENTATION.DEFINITION') | (( 'DIMENSIONAL_INSPECTION_SCHEMA.' + 'SHAPE_REPRESENTATION_WITH_PARAMETERS') IN TYPEOF(pdr. used_representation)) ) | (NOT (SIZEOF(QUERY ( it <* impl_rep.used_representation.items | ((SIZEOF([ 'DIMENSIONAL_INSPECTION_SCHEMA.MEASURE_REPRESENTATION_ITEM','DIMENSIONAL_INSPECTION_SCHEMA.PLANE_ANGLE_MEASURE_WITH_UNIT'] * TYPEOF(it)) = 2) AND (it.name = 'base feature rotation')) )) <= 1)) )) = 0)) )) = 0; wr6: SIZEOF(QUERY ( pd <* USEDIN(SELF,'DIMENSIONAL_INSPECTION_SCHEMA.PROPERTY_DEFINITION.DEFINITION') | (NOT (SIZEOF(QUERY ( impl_rep <* QUERY ( pdr <* USEDIN(pd, 'DIMENSIONAL_INSPECTION_SCHEMA.' + 'PROPERTY_DEFINITION_REPRESENTATION.DEFINITION') | (( 'DIMENSIONAL_INSPECTION_SCHEMA.' + 'SHAPE_REPRESENTATION_WITH_PARAMETERS') IN TYPEOF(pdr. used_representation)) ) | (NOT (SIZEOF(QUERY ( it <* impl_rep.used_representation.items | ((( 'DIMENSIONAL_INSPECTION_SCHEMA.MEASURE_REPRESENTATION_ITEM' IN TYPEOF(it)) AND ( 'DIMENSIONAL_INSPECTION_SCHEMA.COUNT_MEASURE' IN TYPEOF(it\ measure_with_unit.value_component))) AND (it.name = 'number of features')) )) = 1)) )) = 0)) )) = 0; wr7: SIZEOF(QUERY ( pd <* USEDIN(SELF,'DIMENSIONAL_INSPECTION_SCHEMA.PROPERTY_DEFINITION.DEFINITION') | (NOT (SIZEOF(QUERY ( impl_rep <* QUERY ( pdr <* USEDIN(pd, 'DIMENSIONAL_INSPECTION_SCHEMA.' + 'PROPERTY_DEFINITION_REPRESENTATION.DEFINITION') | (( 'DIMENSIONAL_INSPECTION_SCHEMA.' + 'SHAPE_REPRESENTATION_WITH_PARAMETERS') IN TYPEOF(pdr. used_representation)) ) | (NOT (SIZEOF(QUERY ( it <* impl_rep.used_representation.items | ((SIZEOF([ 'DIMENSIONAL_INSPECTION_SCHEMA.MEASURE_REPRESENTATION_ITEM','DIMENSIONAL_INSPECTION_SCHEMA.PLANE_ANGLE_MEASURE_WITH_UNIT'] * TYPEOF(it)) = 2) AND (it.name = 'angular spacing')) )) = 1)) )) = 0)) )) = 0; wr8: SIZEOF(QUERY ( pd <* USEDIN(SELF,'DIMENSIONAL_INSPECTION_SCHEMA.PROPERTY_DEFINITION.DEFINITION') | (NOT (SIZEOF(QUERY ( impl_rep <* QUERY ( pdr <* USEDIN(pd, 'DIMENSIONAL_INSPECTION_SCHEMA.' + 'PROPERTY_DEFINITION_REPRESENTATION.DEFINITION') | (( 'DIMENSIONAL_INSPECTION_SCHEMA.' + 'SHAPE_REPRESENTATION_WITH_PARAMETERS') IN TYPEOF(pdr. used_representation)) ) | (NOT (SIZEOF(QUERY ( it <* impl_rep.used_representation.items | (( 'DIMENSIONAL_INSPECTION_SCHEMA.PLACEMENT' IN TYPEOF(it)) AND (it.name = 'orientation')) )) = 1)) )) = 0)) )) = 0; END_ENTITY; -- circular_pattern ENTITY circular_runout_tolerance SUBTYPE OF (geometric_tolerance_with_datum_reference); WHERE wr1: SIZEOF(SELF\geometric_tolerance_with_datum_reference. datum_system) <= 2; END_ENTITY; -- circular_runout_tolerance ENTITY closed_path_profile SUBTYPE OF (shape_aspect); WHERE wr1: 'DIMENSIONAL_INSPECTION_SCHEMA.FEATURE_COMPONENT_DEFINITION' IN TYPEOF(SELF.of_shape.definition); wr2: SIZEOF(QUERY ( pd <* USEDIN(SELF, 'DIMENSIONAL_INSPECTION_SCHEMA.PROPERTY_DEFINITION.' + 'DEFINITION') | (NOT (SIZEOF(QUERY ( pdr <* USEDIN(pd, 'DIMENSIONAL_INSPECTION_SCHEMA.' + 'PROPERTY_DEFINITION_REPRESENTATION.DEFINITION') | (( 'DIMENSIONAL_INSPECTION_SCHEMA.' + 'SHAPE_REPRESENTATION_WITH_PARAMETERS') IN TYPEOF(pdr. used_representation)) )) = 1)) )) = 0; wr3: SIZEOF(QUERY ( pd <* USEDIN(SELF,'DIMENSIONAL_INSPECTION_SCHEMA.PROPERTY_DEFINITION.DEFINITION') | (NOT (SIZEOF(QUERY ( impl_rep <* QUERY ( pdr <* USEDIN(pd, 'DIMENSIONAL_INSPECTION_SCHEMA.' + 'PROPERTY_DEFINITION_REPRESENTATION.DEFINITION') | (( 'DIMENSIONAL_INSPECTION_SCHEMA.' + 'SHAPE_REPRESENTATION_WITH_PARAMETERS') IN TYPEOF(pdr. used_representation)) ) | (NOT (SIZEOF(impl_rep. used_representation.items) = 1)) )) = 0)) )) = 0; wr4: SIZEOF(QUERY ( pd <* USEDIN(SELF,'DIMENSIONAL_INSPECTION_SCHEMA.PROPERTY_DEFINITION.DEFINITION') | (NOT (SIZEOF(QUERY ( impl_rep <* QUERY ( pdr <* USEDIN(pd, 'DIMENSIONAL_INSPECTION_SCHEMA.' + 'PROPERTY_DEFINITION_REPRESENTATION.DEFINITION') | (( 'DIMENSIONAL_INSPECTION_SCHEMA.' + 'SHAPE_REPRESENTATION_WITH_PARAMETERS') IN TYPEOF(pdr. used_representation)) ) | (NOT (SIZEOF(QUERY ( it <* impl_rep.used_representation.items | (( 'DIMENSIONAL_INSPECTION_SCHEMA.PLACEMENT' IN TYPEOF(it)) AND (it.name = 'orientation')) )) = 1)) )) = 0)) )) = 0; wr5: SIZEOF(QUERY ( pd <* USEDIN(SELF, 'DIMENSIONAL_INSPECTION_SCHEMA.PROPERTY_DEFINITION.' + 'DEFINITION') | (NOT (SIZEOF(QUERY ( pdr <* USEDIN(pd, 'DIMENSIONAL_INSPECTION_SCHEMA.' + 'PROPERTY_DEFINITION_REPRESENTATION.DEFINITION') | ( 'DIMENSIONAL_INSPECTION_SCHEMA.PATH_SHAPE_REPRESENTATION' IN TYPEOF(pdr.used_representation)) )) = 1)) )) = 0; END_ENTITY; -- closed_path_profile ENTITY closed_shell SUBTYPE OF (connected_face_set); END_ENTITY; -- closed_shell ENTITY coaxiality_tolerance SUBTYPE OF (geometric_tolerance_with_datum_reference); WHERE wr1: SIZEOF(SELF\geometric_tolerance_with_datum_reference. datum_system) <= 2; END_ENTITY; -- coaxiality_tolerance ENTITY common_datum SUBTYPE OF (composite_shape_aspect, datum); WHERE wr1: SIZEOF(SELF.component_relationships) = 2; wr2: SIZEOF(QUERY ( sar <* SELF.component_relationships | (NOT (( 'DIMENSIONAL_INSPECTION_SCHEMA.DATUM' IN TYPEOF(sar. related_shape_aspect)) AND (NOT ( 'DIMENSIONAL_INSPECTION_SCHEMA.COMMON_DATUM' IN TYPEOF(sar. related_shape_aspect))))) )) = 0; END_ENTITY; -- common_datum ENTITY composite_curve SUBTYPE OF (bounded_curve); segments : LIST [1:?] OF composite_curve_segment; self_intersect : LOGICAL; DERIVE n_segments : INTEGER := SIZEOF(segments); closed_curve : LOGICAL := segments[n_segments].transition <> discontinuous; WHERE wr1: ((NOT closed_curve) AND (SIZEOF(QUERY ( temp <* segments | ( temp.transition = discontinuous) )) = 1)) OR (closed_curve AND (SIZEOF(QUERY ( temp <* segments | (temp.transition = discontinuous) )) = 0)); END_ENTITY; -- composite_curve ENTITY composite_curve_on_surface SUBTYPE OF (composite_curve); DERIVE basis_surface : SET [0:2] OF surface := get_basis_surface(SELF); WHERE wr1: SIZEOF(basis_surface) > 0; wr2: constraints_composite_curve_on_surface(SELF); END_ENTITY; -- composite_curve_on_surface ENTITY composite_curve_segment SUBTYPE OF (founded_item); transition : transition_code; same_sense : BOOLEAN; parent_curve : curve; INVERSE using_curves : BAG [1:?] OF composite_curve FOR segments; WHERE wr1: 'DIMENSIONAL_INSPECTION_SCHEMA.BOUNDED_CURVE' IN TYPEOF( parent_curve); END_ENTITY; -- composite_curve_segment ENTITY composite_hole SUBTYPE OF (compound_feature); WHERE wr1: SELF\characterized_object.description IN ['counterbore', 'countersunk']; wr2: SIZEOF(QUERY ( pds <* USEDIN(SELF,'DIMENSIONAL_INSPECTION_SCHEMA.PROPERTY_DEFINITION.DEFINITION') | (( 'DIMENSIONAL_INSPECTION_SCHEMA.PRODUCT_DEFINITION_SHAPE' IN TYPEOF(pds)) AND (SIZEOF(QUERY ( csa <* USEDIN(pds, 'DIMENSIONAL_INSPECTION_SCHEMA.SHAPE_ASPECT.OF_SHAPE') | (( 'DIMENSIONAL_INSPECTION_SCHEMA.COMPOSITE_SHAPE_ASPECT' IN TYPEOF(csa)) AND (SIZEOF(QUERY ( sar <* csa. component_relationships | (('DIMENSIONAL_INSPECTION_SCHEMA.FEATURE_COMPONENT_RELATIONSHIP' IN TYPEOF(sar)) AND ( 'DIMENSIONAL_INSPECTION_SCHEMA.ROUND_HOLE' IN TYPEOF(sar. related_shape_aspect))) )) = 2)) )) = 1)) )) = 1; wr3: (NOT (SELF\characterized_object.description = 'countersunk')) OR (SIZEOF(QUERY ( pds <* USEDIN(SELF,'DIMENSIONAL_INSPECTION_SCHEMA.PROPERTY_DEFINITION.DEFINITION') | (( 'DIMENSIONAL_INSPECTION_SCHEMA.PRODUCT_DEFINITION_SHAPE' IN TYPEOF(pds)) AND (SIZEOF(QUERY ( csa <* USEDIN(pds, 'DIMENSIONAL_INSPECTION_SCHEMA.SHAPE_ASPECT.OF_SHAPE') | (( 'DIMENSIONAL_INSPECTION_SCHEMA.COMPOSITE_SHAPE_ASPECT' IN TYPEOF(csa)) AND (SIZEOF(QUERY ( sar <* csa. component_relationships | (( 'DIMENSIONAL_INSPECTION_SCHEMA.ROUND_HOLE' IN TYPEOF(sar. related_shape_aspect)) AND (NOT (SIZEOF(QUERY ( pds <* QUERY ( pd <* USEDIN(sar.related_shape_aspect,'DIMENSIONAL_INSPECTION_SCHEMA.PROPERTY_DEFINITION.DEFINITION') | ('DIMENSIONAL_INSPECTION_SCHEMA.PRODUCT_DEFINITION_SHAPE' IN TYPEOF(pd)) ) | (NOT (SIZEOF(QUERY ( sa_occ <* USEDIN(pds, 'DIMENSIONAL_INSPECTION_SCHEMA.SHAPE_ASPECT.OF_SHAPE') | (( sa_occ.description = 'change in diameter occurrence') AND ( SIZEOF(QUERY ( fcr2 <* QUERY ( sar2 <* USEDIN(sa_occ,'DIMENSIONAL_INSPECTION_SCHEMA.SHAPE_ASPECT_RELATIONSHIP.RELATING_SHAPE_ASPECT') | ((sar2.description = 'taper usage') AND ('DIMENSIONAL_INSPECTION_SCHEMA.FEATURE_COMPONENT_RELATIONSHIP' IN TYPEOF(sar2))) ) | ('DIMENSIONAL_INSPECTION_SCHEMA.TAPER' IN TYPEOF(fcr2.related_shape_aspect)) )) = 1)) )) = 0)) )) = 0))) )) = 1)) )) = 1)) )) = 1); END_ENTITY; -- composite_hole ENTITY composite_shape_aspect SUBTYPE OF (shape_aspect); INVERSE component_relationships : SET [2:?] OF shape_aspect_relationship FOR relating_shape_aspect; END_ENTITY; -- composite_shape_aspect ENTITY compound_feature SUBTYPE OF (feature_definition); WHERE wr1: SIZEOF(QUERY ( pds <* USEDIN(SELF,'DIMENSIONAL_INSPECTION_SCHEMA.PROPERTY_DEFINITION.DEFINITION') | (( 'DIMENSIONAL_INSPECTION_SCHEMA.PRODUCT_DEFINITION_SHAPE' IN TYPEOF(pds)) AND (SIZEOF(QUERY ( csa <* USEDIN(pds, 'DIMENSIONAL_INSPECTION_SCHEMA.SHAPE_ASPECT.OF_SHAPE') | (( csa.name = 'compound feature in solid') AND ( 'DIMENSIONAL_INSPECTION_SCHEMA.COMPOSITE_SHAPE_ASPECT' IN TYPEOF(csa))) )) = 1)) )) = 1; wr2: SIZEOF(QUERY ( pds <* USEDIN(SELF,'DIMENSIONAL_INSPECTION_SCHEMA.PROPERTY_DEFINITION.DEFINITION') | (( 'DIMENSIONAL_INSPECTION_SCHEMA.PRODUCT_DEFINITION_SHAPE' IN TYPEOF(pds)) AND (SIZEOF(QUERY ( csa <* USEDIN(pds, 'DIMENSIONAL_INSPECTION_SCHEMA.SHAPE_ASPECT.OF_SHAPE') | ( 'DIMENSIONAL_INSPECTION_SCHEMA.COMPOSITE_SHAPE_ASPECT' IN TYPEOF(csa)) )) = 1)) )) = 1; wr3: SIZEOF(QUERY ( pds <* USEDIN(SELF,'DIMENSIONAL_INSPECTION_SCHEMA.PROPERTY_DEFINITION.DEFINITION') | (( 'DIMENSIONAL_INSPECTION_SCHEMA.PRODUCT_DEFINITION_SHAPE' IN TYPEOF(pds)) AND (SIZEOF(QUERY ( csa <* USEDIN(pds, 'DIMENSIONAL_INSPECTION_SCHEMA.SHAPE_ASPECT.OF_SHAPE') | (( 'DIMENSIONAL_INSPECTION_SCHEMA.COMPOSITE_SHAPE_ASPECT' IN TYPEOF(csa)) AND (SIZEOF(QUERY ( fcr <* csa. component_relationships | (NOT ('DIMENSIONAL_INSPECTION_SCHEMA.FEATURE_COMPONENT_RELATIONSHIP' IN TYPEOF(fcr))) )) = 0)) )) = 1)) )) = 1; wr4: SIZEOF(QUERY ( pds <* USEDIN(SELF,'DIMENSIONAL_INSPECTION_SCHEMA.PROPERTY_DEFINITION.DEFINITION') | (( 'DIMENSIONAL_INSPECTION_SCHEMA.PRODUCT_DEFINITION_SHAPE' IN TYPEOF(pds)) AND (SIZEOF(QUERY ( csa <* USEDIN(pds, 'DIMENSIONAL_INSPECTION_SCHEMA.SHAPE_ASPECT.OF_SHAPE') | ( 'DIMENSIONAL_INSPECTION_SCHEMA.COMPOSITE_SHAPE_ASPECT' IN TYPEOF(csa)) )) = 1)) )) = 1; wr5: SIZEOF(QUERY ( pds <* USEDIN(SELF,'DIMENSIONAL_INSPECTION_SCHEMA.PROPERTY_DEFINITION.DEFINITION') | (( 'DIMENSIONAL_INSPECTION_SCHEMA.PRODUCT_DEFINITION_SHAPE' IN TYPEOF(pds)) AND (SIZEOF(QUERY ( csa <* USEDIN(pds, 'DIMENSIONAL_INSPECTION_SCHEMA.SHAPE_ASPECT.OF_SHAPE') | (( 'DIMENSIONAL_INSPECTION_SCHEMA.COMPOSITE_SHAPE_ASPECT' IN TYPEOF(csa)) AND (SIZEOF(QUERY ( sar <* csa. component_relationships | ( 'DIMENSIONAL_INSPECTION_SCHEMA.THREAD' IN TYPEOF(sar. related_shape_aspect)) )) = 0)) )) = 1)) )) = 1; wr6: SIZEOF(QUERY ( pds <* USEDIN(SELF,'DIMENSIONAL_INSPECTION_SCHEMA.PROPERTY_DEFINITION.DEFINITION') | (( 'DIMENSIONAL_INSPECTION_SCHEMA.PRODUCT_DEFINITION_SHAPE' IN TYPEOF(pds)) AND (SIZEOF(QUERY ( csa <* USEDIN(pds, 'DIMENSIONAL_INSPECTION_SCHEMA.SHAPE_ASPECT.OF_SHAPE') | (( 'DIMENSIONAL_INSPECTION_SCHEMA.COMPOSITE_SHAPE_ASPECT' IN TYPEOF(csa)) AND (SIZEOF(QUERY ( sar <* csa. component_relationships | (( 'DIMENSIONAL_INSPECTION_SCHEMA.COMPOUND_FEATURE' IN TYPEOF( sar.related_shape_aspect)) AND (sar.related_shape_aspect\ characterized_object.name <> SELF\characterized_object.name)) )) = 0)) )) = 1)) )) = 1; END_ENTITY; -- compound_feature ENTITY compound_representation_item SUBTYPE OF (representation_item); item_element : compound_item_definition; END_ENTITY; -- compound_representation_item ENTITY concentricity_tolerance SUBTYPE OF (geometric_tolerance_with_datum_reference); WHERE wr1: SIZEOF(SELF\geometric_tolerance_with_datum_reference. datum_system) = 1; END_ENTITY; -- concentricity_tolerance ENTITY conic SUPERTYPE OF (ONEOF (circle,ellipse,hyperbola,parabola)) SUBTYPE OF (curve); position : axis2_placement; END_ENTITY; -- conic ENTITY conical_surface SUBTYPE OF (elementary_surface); radius : length_measure; semi_angle : plane_angle_measure; WHERE wr1: radius >= 0; END_ENTITY; -- conical_surface ENTITY connected_face_set SUPERTYPE OF (ONEOF (closed_shell,open_shell)) SUBTYPE OF (topological_representation_item); cfs_faces : SET [1:?] OF face; END_ENTITY; -- connected_face_set ENTITY context_dependent_unit SUBTYPE OF (named_unit); name : label; END_ENTITY; -- context_dependent_unit ENTITY conversion_based_unit SUBTYPE OF (named_unit); name : label; conversion_factor : measure_with_unit; END_ENTITY; -- conversion_based_unit ENTITY coordinated_universal_time_offset; hour_offset : INTEGER; minute_offset : OPTIONAL INTEGER; sense : ahead_or_behind; DERIVE actual_minute_offset : INTEGER := NVL(minute_offset,0); WHERE wr1: (0 <= hour_offset) AND (hour_offset < 24); wr2: (0 <= actual_minute_offset) AND (actual_minute_offset <= 59); wr3: NOT (((hour_offset <> 0) OR (actual_minute_offset <> 0)) AND ( sense = exact)); END_ENTITY; -- coordinated_universal_time_offset ENTITY curve SUPERTYPE OF (ONEOF (line,conic,pcurve,surface_curve)) SUBTYPE OF (geometric_representation_item); END_ENTITY; -- curve ENTITY cylindrical_shape_representation SUBTYPE OF (shape_representation_with_parameters); WHERE wr1: SIZEOF(SELF.items) = 3; wr2: SIZEOF(QUERY ( it <* SELF.items | (( 'DIMENSIONAL_INSPECTION_SCHEMA.PLACEMENT' IN TYPEOF(it)) AND (it.name = 'orientation')) )) = 1; wr3: SIZEOF(QUERY ( it <* SELF.items | ((SIZEOF([ 'DIMENSIONAL_INSPECTION_SCHEMA.MEASURE_REPRESENTATION_ITEM', 'DIMENSIONAL_INSPECTION_SCHEMA.LENGTH_MEASURE_WITH_UNIT'] * TYPEOF(it)) = 2) AND (it.name = 'length')) )) = 1; wr4: SIZEOF(QUERY ( it <* SELF.items | ((SIZEOF([ 'DIMENSIONAL_INSPECTION_SCHEMA.MEASURE_REPRESENTATION_ITEM', 'DIMENSIONAL_INSPECTION_SCHEMA.LENGTH_MEASURE_WITH_UNIT'] * TYPEOF(it)) = 2) AND (it.name = 'diameter')) )) = 1; END_ENTITY; -- cylindrical_shape_representation ENTITY cylindrical_surface SUBTYPE OF (elementary_surface); radius : positive_length_measure; END_ENTITY; -- cylindrical_surface ENTITY cylindricity_tolerance SUBTYPE OF (geometric_tolerance); WHERE wr1: NOT (('DIMENSIONAL_INSPECTION_SCHEMA.' + 'GEOMETRIC_TOLERANCE_WITH_DATUM_REFERENCE') IN TYPEOF(SELF)); END_ENTITY; -- cylindricity_tolerance ENTITY date SUPERTYPE OF (calendar_date); year_component : year_number; END_ENTITY; -- date ENTITY date_and_time; date_component : date; time_component : local_time; END_ENTITY; -- date_and_time ENTITY date_assignment ABSTRACT SUPERTYPE; assigned_date : date; role : date_role; END_ENTITY; -- date_assignment ENTITY date_role; name : label; DERIVE description : text := get_description_value(SELF); WHERE wr1: SIZEOF(USEDIN(SELF,'DIMENSIONAL_INSPECTION_SCHEMA.' + 'DESCRIPTION_ATTRIBUTE.DESCRIBED_ITEM')) <= 1; END_ENTITY; -- date_role ENTITY dated_effectivity SUBTYPE OF (effectivity); effectivity_end_date : OPTIONAL date_time_or_event_occurrence; effectivity_start_date : date_time_or_event_occurrence; END_ENTITY; -- dated_effectivity ENTITY datum SUBTYPE OF (shape_aspect); identification : identifier; INVERSE established_by_relationships : SET [1:?] OF shape_aspect_relationship FOR related_shape_aspect; WHERE wr1: SIZEOF(QUERY ( x <* SELF.established_by_relationships | ( SIZEOF(TYPEOF(x.relating_shape_aspect) * [ 'DIMENSIONAL_INSPECTION_SCHEMA.DATUM_FEATURE', 'DIMENSIONAL_INSPECTION_SCHEMA.DATUM_TARGET']) <> 1) )) = 0; END_ENTITY; -- datum ENTITY datum_feature SUBTYPE OF (shape_aspect); INVERSE feature_basis_relationship : shape_aspect_relationship FOR relating_shape_aspect; WHERE wr1: SIZEOF(QUERY ( sar <* bag_to_set(USEDIN(SELF, 'DIMENSIONAL_INSPECTION_SCHEMA.SHAPE_ASPECT_RELATIONSHIP.' + 'RELATING_SHAPE_ASPECT')) | (NOT ( 'DIMENSIONAL_INSPECTION_SCHEMA.DATUM' IN TYPEOF(sar. related_shape_aspect))) )) = 0; wr2: SELF.product_definitional = TRUE; END_ENTITY; -- datum_feature ENTITY datum_reference; precedence : INTEGER; referenced_datum : datum; WHERE wr1: precedence > 0; END_ENTITY; -- datum_reference ENTITY datum_target SUBTYPE OF (shape_aspect); target_id : identifier; INVERSE target_basis_relationship : shape_aspect_relationship FOR relating_shape_aspect; WHERE wr1: SIZEOF(QUERY ( sar <* bag_to_set(USEDIN(SELF, 'DIMENSIONAL_INSPECTION_SCHEMA.SHAPE_ASPECT_RELATIONSHIP.' + 'RELATING_SHAPE_ASPECT')) | (NOT ( 'DIMENSIONAL_INSPECTION_SCHEMA.DATUM' IN TYPEOF(sar. related_shape_aspect))) )) = 0; wr2: SELF.product_definitional = TRUE; END_ENTITY; -- datum_target ENTITY definitional_representation SUBTYPE OF (representation); WHERE wr1: 'DIMENSIONAL_INSPECTION_SCHEMA.PARAMETRIC_REPRESENTATION_CONTEXT' IN TYPEOF(SELF\representation.context_of_items); END_ENTITY; -- definitional_representation ENTITY degenerate_toroidal_surface SUBTYPE OF (toroidal_surface); select_outer : BOOLEAN; WHERE wr1: major_radius < minor_radius; END_ENTITY; -- degenerate_toroidal_surface ENTITY derived_shape_aspect SUPERTYPE OF (ONEOF (apex,centre_of_symmetry,geometric_alignment, geometric_intersection,parallel_offset,perpendicular_to,extension, tangent)) SUBTYPE OF (shape_aspect); INVERSE deriving_relationships : SET [1:?] OF shape_aspect_deriving_relationship FOR relating_shape_aspect; END_ENTITY; -- derived_shape_aspect ENTITY derived_unit; elements : SET [1:?] OF derived_unit_element; DERIVE name : label := get_name_value(SELF); WHERE wr1: (SIZEOF(elements) > 1) OR ((SIZEOF(elements) = 1) AND (elements [1].exponent <> 1)); wr2: SIZEOF(USEDIN(SELF,'DIMENSIONAL_INSPECTION_SCHEMA.' + 'NAME_ATTRIBUTE.NAMED_ITEM')) <= 1; END_ENTITY; -- derived_unit ENTITY derived_unit_element; unit : named_unit; exponent : REAL; END_ENTITY; -- derived_unit_element ENTITY description_attribute; attribute_value : text; described_item : description_attribute_select; END_ENTITY; -- description_attribute ENTITY descriptive_representation_item SUBTYPE OF (representation_item); description : text; END_ENTITY; -- descriptive_representation_item ENTITY dimension_related_tolerance_zone_element; related_dimension : dimensional_location; related_element : tolerance_zone_definition; END_ENTITY; -- dimension_related_tolerance_zone_element ENTITY dimensional_characteristic_representation; dimension : dimensional_characteristic; representation : shape_dimension_representation; END_ENTITY; -- dimensional_characteristic_representation ENTITY dimensional_exponents; length_exponent : REAL; mass_exponent : REAL; time_exponent : REAL; electric_current_exponent : REAL; thermodynamic_temperature_exponent : REAL; amount_of_substance_exponent : REAL; luminous_intensity_exponent : REAL; END_ENTITY; -- dimensional_exponents ENTITY dimensional_location SUPERTYPE OF (ONEOF (angular_location,dimensional_location_with_path)) SUBTYPE OF (shape_aspect_relationship); END_ENTITY; -- dimensional_location ENTITY dimensional_location_with_path SUBTYPE OF (dimensional_location); path : shape_aspect; END_ENTITY; -- dimensional_location_with_path ENTITY dimensional_measurement_representation SUBTYPE OF (representation); END_ENTITY; -- dimensional_measurement_representation ENTITY dimensional_size SUPERTYPE OF (ONEOF (angular_size,dimensional_size_with_path)); applies_to : shape_aspect; name : label; WHERE wr1: applies_to.product_definitional = TRUE; END_ENTITY; -- dimensional_size ENTITY dimensional_size_with_path SUBTYPE OF (dimensional_size); path : shape_aspect; END_ENTITY; -- dimensional_size_with_path ENTITY directed_dimensional_location SUBTYPE OF (dimensional_location); END_ENTITY; -- directed_dimensional_location ENTITY direction SUBTYPE OF (geometric_representation_item); direction_ratios : LIST [2:3] OF REAL; WHERE wr1: SIZEOF(QUERY ( tmp <* direction_ratios | (tmp <> 0) )) > 0; END_ENTITY; -- direction ENTITY direction_shape_representation SUBTYPE OF (shape_representation); WHERE wr1: SIZEOF(SELF.items) = 1; wr2: SIZEOF(QUERY ( it <* SELF.items | (NOT ( 'DIMENSIONAL_INSPECTION_SCHEMA.DIRECTION' IN TYPEOF(it))) )) = 0; END_ENTITY; -- direction_shape_representation ENTITY dm_analysis_dofs_dml SUBTYPE OF (dimensional_measurement_representation); WHERE wr1: SIZEOF(QUERY ( repi <* SELF.items | (SIZEOF([ 'DIMENSIONAL_INSPECTION_SCHEMA.MEASURE_REPRESENTATION_ITEM','DIMENSIONAL_INSPECTION_SCHEMA.QUALIFIED_REPRESENTATION_ITEM'] * TYPEOF(repi)) = 2) )) = 6; wr2: SIZEOF(QUERY ( repi <* SELF.items | ((( 'DIMENSIONAL_INSPECTION_SCHEMA.MEASURE_REPRESENTATION_ITEM' IN TYPEOF(repi)) AND (repi.name IN ['transx upper limit', 'transx lower limit'])) AND (SIZEOF(QUERY ( tq <* repi. qualifiers | (( 'DIMENSIONAL_INSPECTION_SCHEMA.TYPE_QUALIFIER' IN TYPEOF(tq)) AND (tq.name IN ['degree of freedom limited', 'degree of freedom not allowed','degree of freedom allowed'])) )) <= 1)) )) <= 1; wr3: SIZEOF(QUERY ( repi <* SELF.items | ((( 'DIMENSIONAL_INSPECTION_SCHEMA.MEASURE_REPRESENTATION_ITEM' IN TYPEOF(repi)) AND (repi.name IN ['transy upper limit', 'transy lower limit'])) AND (SIZEOF(QUERY ( tq <* repi. qualifiers | (( 'DIMENSIONAL_INSPECTION_SCHEMA.TYPE_QUALIFIER' IN TYPEOF(tq)) AND (tq.name IN ['degree of freedom limited', 'degree of freedom not allowed','degree of freedom allowed'])) )) <= 1)) )) <= 1; wr4: SIZEOF(QUERY ( repi <* SELF.items | ((( 'DIMENSIONAL_INSPECTION_SCHEMA.MEASURE_REPRESENTATION_ITEM' IN TYPEOF(repi)) AND (repi.name IN ['transz upper limit', 'transz lower limit'])) AND (SIZEOF(QUERY ( tq <* repi. qualifiers | (( 'DIMENSIONAL_INSPECTION_SCHEMA.TYPE_QUALIFIER' IN TYPEOF(tq)) AND (tq.name IN ['degree of freedom limited', 'degree of freedom not allowed','degree of freedom allowed'])) )) <= 1)) )) <= 1; wr5: SIZEOF(QUERY ( repi <* SELF.items | ((( 'DIMENSIONAL_INSPECTION_SCHEMA.MEASURE_REPRESENTATION_ITEM' IN TYPEOF(repi)) AND (repi.name IN ['rotx upper limit', 'rotx lower limit'])) AND (SIZEOF(QUERY ( tq <* repi. qualifiers | (( 'DIMENSIONAL_INSPECTION_SCHEMA.TYPE_QUALIFIER' IN TYPEOF(tq)) AND (tq.name IN ['degree of freedom limited', 'degree of freedom not allowed','degree of freedom allowed'])) )) <= 1)) )) <= 1; wr6: SIZEOF(QUERY ( repi <* SELF.items | ((( 'DIMENSIONAL_INSPECTION_SCHEMA.MEASURE_REPRESENTATION_ITEM' IN TYPEOF(repi)) AND (repi.name IN ['roty upper limit', 'roty lower limit'])) AND (SIZEOF(QUERY ( tq <* repi. qualifiers | (( 'DIMENSIONAL_INSPECTION_SCHEMA.TYPE_QUALIFIER' IN TYPEOF(tq)) AND (tq.name IN ['degree of freedom limited', 'degree of freedom not allowed','degree of freedom allowed'])) )) <= 1)) )) <= 1; wr7: SIZEOF(QUERY ( repi <* SELF.items | ((( 'DIMENSIONAL_INSPECTION_SCHEMA.MEASURE_REPRESENTATION_ITEM' IN TYPEOF(repi)) AND (repi.name IN ['rotz upper limit', 'rotz lower limit'])) AND (SIZEOF(QUERY ( tq <* repi. qualifiers | (( 'DIMENSIONAL_INSPECTION_SCHEMA.TYPE_QUALIFIER' IN TYPEOF(tq)) AND (tq.name IN ['degree of freedom limited', 'degree of freedom not allowed','degree of freedom allowed'])) )) <= 1)) )) <= 1; END_ENTITY; -- dm_analysis_dofs_dml ENTITY dm_dimension_parameter SUBTYPE OF (dm_result_parameter); WHERE wr1: SIZEOF(QUERY ( sri <* SELF.items | (( 'DIMENSIONAL_INSPECTION_SCHEMA.MEASURE_REPRESENTATION_ITEM' IN TYPEOF(sri)) AND (sri.name = 'calculated value')) )) = 1; wr2: SIZEOF(QUERY ( repi <* SELF.items | ((SIZEOF([ 'DIMENSIONAL_INSPECTION_SCHEMA.MEASURE_REPRESENTATION_ITEM','DIMENSIONAL_INSPECTION_SCHEMA.QUALIFIED_REPRESENTATION_ITEM'] * TYPEOF(repi)) = 2) AND (SIZEOF(QUERY ( uq <* repi. qualifiers | ((SIZEOF([ 'DIMENSIONAL_INSPECTION_SCHEMA.STANDARD_UNCERTAINTY'] * TYPEOF(uq)) = 1) AND (uq.measure_name = 'value uncertainty')) )) = 1)) )) <= 1; END_ENTITY; -- dm_dimension_parameter ENTITY dm_execution_input SUBTYPE OF (executed_action); WHERE wr1: 'DIMENSIONAL_INSPECTION_SCHEMA.DM_PROGRAM_RUN' IN TYPEOF(SELF. chosen_method); wr2: SIZEOF(QUERY ( ap <* USEDIN(SELF,'DIMENSIONAL_INSPECTION_SCHEMA.ACTION_RELATIONSHIP.RELATING_ACTION') | ('DIMENSIONAL_INSPECTION_SCHEMA.DM_EXECUTION_RESULT' IN TYPEOF(ap.related_action)) )) = 1; wr3: SIZEOF(QUERY ( ap <* USEDIN(SELF,'DIMENSIONAL_INSPECTION_SCHEMA.ACTION_ASSIGNMENT.ASSIGNED_ACTION') | (( 'DIMENSIONAL_INSPECTION_SCHEMA.APPLIED_ACTION_ASSIGNMENT' IN TYPEOF(ap)) AND (SIZEOF(QUERY ( it <* ap.items | ( 'DIMENSIONAL_INSPECTION_SCHEMA.PRODUCT_DEFINITION' IN TYPEOF(it)) )) = 1)) )) = 1; END_ENTITY; -- dm_execution_input ENTITY dm_execution_result SUBTYPE OF (executed_action); WHERE wr1: 'DIMENSIONAL_INSPECTION_SCHEMA.DM_PROGRAM_RUN' IN TYPEOF(SELF. chosen_method); wr2: SIZEOF(QUERY ( rp <* USEDIN(SELF, 'DIMENSIONAL_INSPECTION_SCHEMA.ACTION_PROPERTY.DEFINITION') | ('DIMENSIONAL_INSPECTION_SCHEMA.DM_EXECUTION_RESULT_MEASUREMENT' IN TYPEOF(rp)) )) >= 1; END_ENTITY; -- dm_execution_result ENTITY dm_execution_result_measurement SUBTYPE OF (action_property); WHERE wr1: SIZEOF(QUERY ( apr <* USEDIN(SELF,'DIMENSIONAL_INSPECTION_SCHEMA.ACTION_PROPERTY_REPRESENTATION.PROPERTY') | (NOT (SIZEOF(QUERY ( it <* apr.representation.items | (( it.name = 'dm data acquisition software') AND (('DIMENSIONAL_INSPECTION_SCHEMA.DESCRIPTIVE_REPRESENTATION_ITEM' IN TYPEOF(it)) AND (it.name = 'application name'))) )) <= 1)) )) = 0; wr2: SIZEOF(QUERY ( apr <* USEDIN(SELF,'DIMENSIONAL_INSPECTION_SCHEMA.ACTION_PROPERTY_REPRESENTATION.PROPERTY') | (NOT (SIZEOF(QUERY ( it <* apr.representation.items | (( it.name = 'dm data acquisition software') AND (('DIMENSIONAL_INSPECTION_SCHEMA.DESCRIPTIVE_REPRESENTATION_ITEM' IN TYPEOF(it)) AND (it.name = 'application version'))) )) <= 1)) )) = 0; wr3: SIZEOF(QUERY ( apr <* USEDIN(SELF,'DIMENSIONAL_INSPECTION_SCHEMA.ACTION_PROPERTY_REPRESENTATION.PROPERTY') | (NOT (SIZEOF(QUERY ( it <* apr.representation.items | (( it.name = 'dm data acquisition software') AND (('DIMENSIONAL_INSPECTION_SCHEMA.DESCRIPTIVE_REPRESENTATION_ITEM' IN TYPEOF(it)) AND (it.name = 'vendor name'))) )) <= 1)) )) = 0; wr4: SIZEOF(QUERY ( apr <* USEDIN(SELF,'DIMENSIONAL_INSPECTION_SCHEMA.ACTION_PROPERTY_REPRESENTATION.PROPERTY') | ((apr.representation.name = 'measurement points') AND ( 'DIMENSIONAL_INSPECTION_SCHEMA.DM_POINT' IN TYPEOF(apr. representation))) )) >= 1; wr5: SIZEOF(QUERY ( apr <* USEDIN(SELF,'DIMENSIONAL_INSPECTION_SCHEMA.ACTION_PROPERTY_REPRESENTATION.PROPERTY') | ('DIMENSIONAL_INSPECTION_SCHEMA.DM_RESULT_PARAMETER' IN TYPEOF(apr.representation)) )) = 1; wr6: SELF.name IN ['TRUE','FALSE']; END_ENTITY; -- dm_execution_result_measurement ENTITY dm_feature_analysis_mode_dml SUBTYPE OF (dimensional_measurement_representation); WHERE wr1 : SIZEOF(QUERY ( repi <* SELF.items | ((('DIMENSIONAL_INSPECTION_SCHEMA.DESCRIPTIVE_REPRESENTATION_ITEM' IN TYPEOF(repi)) AND (repi.name = 'feature analysis mode axis')) AND (repi.description IN [ 'least square','minimum radius','cross section centers'])) )) <= 1; wr2 : SIZEOF(QUERY ( repi <* SELF.items | ((('DIMENSIONAL_INSPECTION_SCHEMA.DESCRIPTIVE_REPRESENTATION_ITEM' IN TYPEOF(repi)) AND (repi.name = 'feature analysis mode axis extrapolate')) AND (repi. description IN ['TRUE','FALSE','unknown'])) )) <= 1; wr3 : SIZEOF(QUERY ( repi <* SELF.items | ((('DIMENSIONAL_INSPECTION_SCHEMA.DESCRIPTIVE_REPRESENTATION_ITEM' IN TYPEOF(repi)) AND (repi.name = 'feature analysis mode aelpr')) AND (repi.description IN [ 'least square','minimum maximum'])) )) <= 1; wr4 : SIZEOF(QUERY ( repi <* SELF.items | ((('DIMENSIONAL_INSPECTION_SCHEMA.DESCRIPTIVE_REPRESENTATION_ITEM' IN TYPEOF(repi)) AND (repi.name = 'feature analysis mode ccpst')) AND (repi.description IN [ 'least square','minimum maximum', 'minimum size circumscribed','maximum size inscribed'])) )) <= 1; wr5 : SIZEOF(QUERY ( repi <* SELF.items | ((('DIMENSIONAL_INSPECTION_SCHEMA.DESCRIPTIVE_REPRESENTATION_ITEM' IN TYPEOF(repi)) AND (repi.name = 'feature analysis mode curve')) AND (repi.description IN [ 'least square','minimum maximum','bspline'])) )) <= 1; wr6 : SIZEOF(QUERY ( repi <* SELF.items | ((('DIMENSIONAL_INSPECTION_SCHEMA.DESCRIPTIVE_REPRESENTATION_ITEM' IN TYPEOF(repi)) AND (repi.name = 'feature analysis mode limits')) AND (repi.description IN [ 'functional','mrs average','two point'])) )) <= 1; wr7 : SIZEOF(QUERY ( repi <* SELF.items | ((('DIMENSIONAL_INSPECTION_SCHEMA.DESCRIPTIVE_REPRESENTATION_ITEM' IN TYPEOF(repi)) AND (repi.name = 'feature analysis mode surface')) AND (repi.description IN ['least square','minimum maximum','nurbs','bezier'])) )) <= 1; wr8 : SIZEOF(QUERY ( repi <* SELF.items | ((('DIMENSIONAL_INSPECTION_SCHEMA.DESCRIPTIVE_REPRESENTATION_ITEM' IN TYPEOF(repi)) AND (repi.name = 'feature analysis mode axis default')) AND (repi. description IN ['least square'])) )) = 1; wr9 : SIZEOF(QUERY ( repi <* SELF.items | ((('DIMENSIONAL_INSPECTION_SCHEMA.DESCRIPTIVE_REPRESENTATION_ITEM' IN TYPEOF(repi)) AND (repi.name = 'feature analysis mode axis extrapolate default')) AND ( repi.description IN ['TRUE'])) )) = 1; wr10: SIZEOF(QUERY ( repi <* SELF.items | ((('DIMENSIONAL_INSPECTION_SCHEMA.DESCRIPTIVE_REPRESENTATION_ITEM' IN TYPEOF(repi)) AND (repi.name = 'feature analysis mode aelpr default')) AND (repi. description IN ['least square'])) )) = 1; wr11: SIZEOF(QUERY ( repi <* SELF.items | ((('DIMENSIONAL_INSPECTION_SCHEMA.DESCRIPTIVE_REPRESENTATION_ITEM' IN TYPEOF(repi)) AND (repi.name = 'feature analysis mode ccpst default')) AND (repi. description IN ['least square'])) )) = 1; wr12: SIZEOF(QUERY ( repi <* SELF.items | ((('DIMENSIONAL_INSPECTION_SCHEMA.DESCRIPTIVE_REPRESENTATION_ITEM' IN TYPEOF(repi)) AND (repi.name = 'feature analysis mode curve default')) AND (repi. description IN ['least square'])) )) = 1; wr13: SIZEOF(QUERY ( repi <* SELF.items | ((('DIMENSIONAL_INSPECTION_SCHEMA.DESCRIPTIVE_REPRESENTATION_ITEM' IN TYPEOF(repi)) AND (repi.name = 'feature analysis mode limits default')) AND (repi. description IN ['functional'])) )) = 1; wr14: SIZEOF(QUERY ( repi <* SELF.items | ((('DIMENSIONAL_INSPECTION_SCHEMA.DESCRIPTIVE_REPRESENTATION_ITEM' IN TYPEOF(repi)) AND (repi.name = 'feature analysis mode surface default')) AND (repi. description IN ['least square'])) )) = 1; END_ENTITY; -- dm_feature_analysis_mode_dml ENTITY dm_feature_definition SUBTYPE OF (characterized_object); WHERE wr1: SIZEOF(QUERY ( pdr <* get_property_definition_representations( SELF) | (('DIMENSIONAL_INSPECTION_SCHEMA.' + 'SHAPE_REPRESENTATION_WITH_PARAMETERS') IN TYPEOF(pdr. used_representation)) )) >= 1; wr2: SIZEOF(QUERY ( pd <* USEDIN(SELF,'DIMENSIONAL_INSPECTION_SCHEMA.PROPERTY_DEFINITION.DEFINITION') | (NOT (SIZEOF(QUERY ( impl_rep <* QUERY ( pdr <* USEDIN(pd, 'DIMENSIONAL_INSPECTION_SCHEMA.' + 'PROPERTY_DEFINITION_REPRESENTATION.DEFINITION') | (( 'DIMENSIONAL_INSPECTION_SCHEMA.' + 'SHAPE_REPRESENTATION_WITH_PARAMETERS') IN TYPEOF(pdr. used_representation)) ) | (NOT (SIZEOF(QUERY ( it <* impl_rep.used_representation.items | (( 'DIMENSIONAL_INSPECTION_SCHEMA.PLACEMENT' IN TYPEOF(it)) AND (it.name = 'orientation')) )) = 1)) )) = 0)) )) = 0; wr3: SIZEOF(['DIMENSIONAL_INSPECTION_SCHEMA.DMF_ARC', 'DIMENSIONAL_INSPECTION_SCHEMA.DMF_LINE_UNBOUNDED', 'DIMENSIONAL_INSPECTION_SCHEMA.DMF_CIRCLE', 'DIMENSIONAL_INSPECTION_SCHEMA.DMF_PATTERN', 'DIMENSIONAL_INSPECTION_SCHEMA.DMF_CONE', 'DIMENSIONAL_INSPECTION_SCHEMA.DMF_PLANE', 'DIMENSIONAL_INSPECTION_SCHEMA.DMF_PLANE_CLOSED_PARALLEL', 'DIMENSIONAL_INSPECTION_SCHEMA.DMF_CYLINDER', 'DIMENSIONAL_INSPECTION_SCHEMA.DMF_ELLIPSE', 'DIMENSIONAL_INSPECTION_SCHEMA.DMF_PLANE_SYMMETRIC', 'DIMENSIONAL_INSPECTION_SCHEMA.DMF_GEOMETRIC_CURVE', 'DIMENSIONAL_INSPECTION_SCHEMA.DMF_POINT', 'DIMENSIONAL_INSPECTION_SCHEMA.DMF_GEOMETRIC_SURFACE', 'DIMENSIONAL_INSPECTION_SCHEMA.DMF_EDGE_POINT', 'DIMENSIONAL_INSPECTION_SCHEMA.DMF_SPHERE', 'DIMENSIONAL_INSPECTION_SCHEMA.DMF_GENERIC_FEATURE', 'DIMENSIONAL_INSPECTION_SCHEMA.DMF_LINE_BOUNDED', 'DIMENSIONAL_INSPECTION_SCHEMA.DMF_TORUS', 'DIMENSIONAL_INSPECTION_SCHEMA.DMF_LINE_CLOSED_PARALLEL','DIMENSIONAL_INSPECTION_SCHEMA.DMF_SURFACE_OF_REVOLUTION_DML'] * TYPEOF(SELF)) = 1; END_ENTITY; -- dm_feature_definition ENTITY dm_feature_relationship SUBTYPE OF (shape_aspect_relationship); WHERE wr1: 'DIMENSIONAL_INSPECTION_SCHEMA.DM_FEATURE_DEFINITION' IN TYPEOF(SELF.relating_shape_aspect); wr2: SIZEOF(['DIMENSIONAL_INSPECTION_SCHEMA.DM_FEATURE_DEFINITION', 'DIMENSIONAL_INSPECTION_SCHEMA.FEATURE_DEFINITION'] * TYPEOF(SELF.related_shape_aspect)) = 1; END_ENTITY; -- dm_feature_relationship ENTITY dm_instanced_feature SUBTYPE OF (dm_feature_definition, shape_aspect); WHERE wr1: 'DIMENSIONAL_INSPECTION_SCHEMA.PRODUCT_DEFINITION' IN TYPEOF( SELF.of_shape.definition); wr2: SELF.product_definitional; wr3: NOT (SIZEOF(QUERY ( pd <* USEDIN(SELF,'DIMENSIONAL_INSPECTION_SCHEMA.PROPERTY_DEFINITION.DEFINITION') | (SIZEOF(QUERY ( pdr <* USEDIN(pd, 'DIMENSIONAL_INSPECTION_SCHEMA.' + 'PROPERTY_DEFINITION_REPRESENTATION.DEFINITION') | (((('DIMENSIONAL_INSPECTION_SCHEMA.SHAPE_DEFINITION_REPRESENTATION' IN TYPEOF(pdr)) AND ( 'DIMENSIONAL_INSPECTION_SCHEMA.SHAPE_REPRESENTATION' IN TYPEOF(pdr.used_representation))) AND (pdr. used_representation.name = 'boundary')) AND (SIZEOF( QUERY ( sr <* pdr.used_representation.items | ( 'DIMENSIONAL_INSPECTION_SCHEMA.CARTESIAN_POINT' IN TYPEOF(sr)) )) >= 0)) )) <= 1) )) = 0); END_ENTITY; -- dm_instanced_feature ENTITY dm_parameter_analysis_dml SUBTYPE OF (action_property); WHERE wr1: SIZEOF(QUERY ( apr <* USEDIN(SELF,'DIMENSIONAL_INSPECTION_SCHEMA.ACTION_PROPERTY_REPRESENTATION.PROPERTY') | ('DIMENSIONAL_INSPECTION_SCHEMA.DM_FEATURE_ANALYSIS_MODE_DML' IN TYPEOF(apr.representation)) )) <= 1; wr2: SIZEOF(QUERY ( apr <* USEDIN(SELF,'DIMENSIONAL_INSPECTION_SCHEMA.ACTION_PROPERTY_REPRESENTATION.PROPERTY') | ('DIMENSIONAL_INSPECTION_SCHEMA.DM_TOLERANCE_ANALYSIS_MODE_DML' IN TYPEOF(apr.representation)) )) <= 1; wr3: SIZEOF(QUERY ( apr <* USEDIN(SELF,'DIMENSIONAL_INSPECTION_SCHEMA.ACTION_PROPERTY_REPRESENTATION.PROPERTY') | ('DIMENSIONAL_INSPECTION_SCHEMA.DM_ANALYSIS_DOFS_DML' IN TYPEOF(apr.representation)) )) <= 1; END_ENTITY; -- dm_parameter_analysis_dml ENTITY dm_parameter_value_limits SUBTYPE OF (representation); WHERE wr1: SIZEOF(QUERY ( repi <* SELF.items | (('DIMENSIONAL_INSPECTION_SCHEMA.DESCRIPTIVE_REPRESENTATION_ITEM' IN TYPEOF(repi)) AND (repi.name = 'limits method')) )) = 1; wr2: SIZEOF(QUERY ( it <* SELF.items | ((SIZEOF([ 'DIMENSIONAL_INSPECTION_SCHEMA.MEASURE_REPRESENTATION_ITEM'] * TYPEOF(it)) = 1) AND (it.name = 'calculated limits')) )) >= 2; END_ENTITY; -- dm_parameter_value_limits ENTITY dm_point SUBTYPE OF (representation); WHERE wr1: SIZEOF(QUERY ( repi <* SELF.items | (NOT (( 'DIMENSIONAL_INSPECTION_SCHEMA.CARTESIAN_POINT' IN TYPEOF( repi)) AND (repi.name = 'measured point'))) )) = 1; wr2: SIZEOF(QUERY ( repi <* SELF.items | (NOT (( 'DIMENSIONAL_INSPECTION_SCHEMA.CARTESIAN_POINT' IN TYPEOF( repi)) AND (repi.name = 'expected point'))) )) <= 1; END_ENTITY; -- dm_point ENTITY dm_point_parameter SUBTYPE OF (dm_result_parameter); WHERE wr1: SIZEOF(QUERY ( repi <* SELF.items | ( 'DIMENSIONAL_INSPECTION_SCHEMA.CARTESIAN_POINT' IN TYPEOF( repi)) )) = 1; wr2: SIZEOF(QUERY ( repi <* SELF.items | ((SIZEOF([ 'DIMENSIONAL_INSPECTION_SCHEMA.MEASURE_REPRESENTATION_ITEM','DIMENSIONAL_INSPECTION_SCHEMA.QUALIFIED_REPRESENTATION_ITEM'] * TYPEOF(repi)) = 2) AND (SIZEOF(QUERY ( uq <* repi. qualifiers | (((SIZEOF([ 'DIMENSIONAL_INSPECTION_SCHEMA.STANDARD_UNCERTAINTY'] * TYPEOF(uq)) = 1) AND (uq.measure_name = 'value uncertainty')) AND (uq.description IN ['x uncertainty','y uncertainty', 'z uncertainty'])) )) <= 3)) )) <= 1; END_ENTITY; -- dm_point_parameter ENTITY dm_program_identification SUBTYPE OF (action_resource_requirement); WHERE wr1: SIZEOF(QUERY ( rp <* USEDIN(SELF, 'DIMENSIONAL_INSPECTION_SCHEMA.RESOURCE_PROPERTY.RESOURCE') | (rp.name = 'angular units dml') )) <= 1; wr2: SIZEOF(QUERY ( rp <* USEDIN(SELF, 'DIMENSIONAL_INSPECTION_SCHEMA.RESOURCE_PROPERTY.RESOURCE') | (rp.name = 'linear units dml') )) <= 1; wr3: SIZEOF(QUERY ( rp <* USEDIN(SELF, 'DIMENSIONAL_INSPECTION_SCHEMA.RESOURCE_PROPERTY.RESOURCE') | (rp.name = 'tolerance standard dml') )) <= 1; wr4: (SIZEOF(QUERY ( adr <* USEDIN(SELF,'DIMENSIONAL_INSPECTION_SCHEMA.APPLIED_ORGANIZATION_ASSIGNMENT.ITEMS') | ((adr.role.name = 'program custodian') AND ( 'DIMENSIONAL_INSPECTION_SCHEMA.ORGANIZATION' IN TYPEOF(adr. assigned_organization))) )) <= 1) OR (SIZEOF(QUERY ( adr <* USEDIN(SELF,'DIMENSIONAL_INSPECTION_SCHEMA.' + 'APPLIED_PERSON_AND_ORGANIZATION_ASSIGNMENT.ITEMS') | ((adr. role.name = 'program custodian') AND ( 'DIMENSIONAL_INSPECTION_SCHEMA.PERSON_AND_ORGANIZATION' IN TYPEOF(adr.assigned_person_and_organization))) )) <= 1); END_ENTITY; -- dm_program_identification ENTITY dm_program_run SUBTYPE OF (action_method); WHERE wr1 : NOT (SIZEOF(QUERY ( ap <* USEDIN(SELF, 'DIMENSIONAL_INSPECTION_SCHEMA.ACTION_PROPERTY.DEFINITION') | (NOT (SIZEOF(QUERY ( apr <* USEDIN(ap,'DIMENSIONAL_INSPECTION_SCHEMA.ACTION_PROPERTY_REPRESENTATION.PROPERTY') | (SIZEOF(QUERY ( it <* apr.representation.items | (( SIZEOF(['DIMENSIONAL_INSPECTION_SCHEMA.MEASURE_REPRESENTATION_ITEM','DIMENSIONAL_INSPECTION_SCHEMA.QUALIFIED_REPRESENTATION_ITEM'] * TYPEOF(it)) = 2) AND (it.name = 'measurement temperature')) )) = 1) )) = 0)) )) = 0); wr2 : NOT (SIZEOF(QUERY ( ap <* USEDIN(SELF, 'DIMENSIONAL_INSPECTION_SCHEMA.ACTION_PROPERTY.DEFINITION') | (NOT (SIZEOF(QUERY ( apr <* USEDIN(ap,'DIMENSIONAL_INSPECTION_SCHEMA.ACTION_PROPERTY_REPRESENTATION.PROPERTY') | (SIZEOF(QUERY ( it <* apr.representation.items | (( SIZEOF(['DIMENSIONAL_INSPECTION_SCHEMA.MEASURE_REPRESENTATION_ITEM','DIMENSIONAL_INSPECTION_SCHEMA.QUALIFIED_REPRESENTATION_ITEM'] * TYPEOF(it)) = 2) AND (it.name = 'workpiece temperature')) )) <= 1) )) = 0)) )) = 0); wr3 : NOT (SIZEOF(QUERY ( ap <* USEDIN(SELF, 'DIMENSIONAL_INSPECTION_SCHEMA.ACTION_PROPERTY.DEFINITION') | (NOT (SIZEOF(QUERY ( apr <* USEDIN(ap,'DIMENSIONAL_INSPECTION_SCHEMA.ACTION_PROPERTY_REPRESENTATION.PROPERTY') | (SIZEOF(QUERY ( it <* apr.representation.items | (( SIZEOF(['DIMENSIONAL_INSPECTION_SCHEMA.MEASURE_REPRESENTATION_ITEM','DIMENSIONAL_INSPECTION_SCHEMA.QUALIFIED_REPRESENTATION_ITEM'] * TYPEOF(it)) = 2) AND (it.name = 'measurement humidity')) )) = 1) )) = 0)) )) = 0); wr4 : SIZEOF(QUERY ( ap <* USEDIN(SELF, 'DIMENSIONAL_INSPECTION_SCHEMA.ACTION_RESOURCE.USAGE') | ( ap.name = 'part inspection status') )) <= 1; wr5 : SIZEOF(QUERY ( ap <* USEDIN(SELF, 'DIMENSIONAL_INSPECTION_SCHEMA.ACTION_RESOURCE.USAGE') | ( ap.name = 'url') )) <= 1; wr6 : SIZEOF(QUERY ( arr <* USEDIN(SELF,'DIMENSIONAL_INSPECTION_SCHEMA.ACTION_RESOURCE_REQUIREMENT.OPERATIONS') | ( 'DIMENSIONAL_INSPECTION_SCHEMA.DM_PROGRAM_IDENTIFICATION' IN TYPEOF(arr)) )) = 1; wr7 : (SIZEOF(QUERY ( adr <* USEDIN(SELF,'DIMENSIONAL_INSPECTION_SCHEMA.APPLIED_ORGANIZATION_ASSIGNMENT.ITEMS') | ((adr.role.name = 'run administrator') AND ( 'DIMENSIONAL_INSPECTION_SCHEMA.ORGANIZATION' IN TYPEOF(adr. assigned_organization))) )) = 1) OR (SIZEOF(QUERY ( adr <* USEDIN(SELF,'DIMENSIONAL_INSPECTION_SCHEMA.' + 'APPLIED_PERSON_AND_ORGANIZATION_ASSIGNMENT.ITEMS') | ((adr .role.name = 'run administrator') AND ( 'DIMENSIONAL_INSPECTION_SCHEMA.PERSON_AND_ORGANIZATION' IN TYPEOF(adr.assigned_person_and_organization))) )) = 1); wr8 : SIZEOF(QUERY ( rp <* USEDIN(SELF, 'DIMENSIONAL_INSPECTION_SCHEMA.ACTION_PROPERTY.DEFINITION') | ('DIMENSIONAL_INSPECTION_SCHEMA.MEASUREMENT_LOCATION' IN TYPEOF(rp)) )) <= 1; wr9 : (SIZEOF(QUERY ( adr <* USEDIN(SELF,'DIMENSIONAL_INSPECTION_SCHEMA.APPLIED_DATE_ASSIGNMENT.ITEMS') | ((adr.role.name = 'run end') AND ( 'DIMENSIONAL_INSPECTION_SCHEMA.DATE_AND_TIME' IN TYPEOF(adr .assigned_date))) )) <= 1) OR (SIZEOF(QUERY ( adr <* USEDIN(SELF,'DIMENSIONAL_INSPECTION_SCHEMA.APPLIED_DATE_ASSIGNMENT.ITEMS') | ((adr.role.name = 'run end') AND ( 'DIMENSIONAL_INSPECTION_SCHEMA.CALENDAR_DATE' IN TYPEOF(adr .assigned_date))) )) <= 1); wr10: (SIZEOF(QUERY ( adr <* USEDIN(SELF,'DIMENSIONAL_INSPECTION_SCHEMA.APPLIED_DATE_ASSIGNMENT.ITEMS') | ((adr.role.name = 'run end') AND ( 'DIMENSIONAL_INSPECTION_SCHEMA.DATE_AND_TIME' IN TYPEOF(adr .assigned_date))) )) <= 1) OR (SIZEOF(QUERY ( adr <* USEDIN(SELF,'DIMENSIONAL_INSPECTION_SCHEMA.APPLIED_DATE_ASSIGNMENT.ITEMS') | ((adr.role.name = 'run start') AND ( 'DIMENSIONAL_INSPECTION_SCHEMA.CALENDAR_DATE' IN TYPEOF(adr .assigned_date))) )) <= 1); wr11: (SIZEOF(QUERY ( adr <* USEDIN(SELF,'DIMENSIONAL_INSPECTION_SCHEMA.APPLIED_DATE_ASSIGNMENT.ITEMS') | ((adr.role.name = 'run date') AND ( 'DIMENSIONAL_INSPECTION_SCHEMA.DATE_AND_TIME' IN TYPEOF(adr .assigned_date))) )) = 1) OR (SIZEOF(QUERY ( adr <* USEDIN( SELF,'DIMENSIONAL_INSPECTION_SCHEMA.APPLIED_DATE_ASSIGNMENT.ITEMS') | ((adr.role.name = 'run date') AND ( 'DIMENSIONAL_INSPECTION_SCHEMA.CALENDAR_DATE' IN TYPEOF(adr .assigned_date))) )) = 1); END_ENTITY; -- dm_program_run ENTITY dm_result_parameter SUBTYPE OF (representation); WHERE wr1: SIZEOF(QUERY ( sri <* USEDIN(SELF,'DIMENSIONAL_INSPECTION_SCHEMA.REPRESENTATION_RELATIONSHIP.REP_1') | ( 'DIMENSIONAL_INSPECTION_SCHEMA.DM_PARAMETER_VALUE_LIMITS' IN TYPEOF(sri.rep_2)) )) <= 1; wr2: SIZEOF(QUERY ( sri <* SELF.items | (('DIMENSIONAL_INSPECTION_SCHEMA.DESCRIPTIVE_REPRESENTATION_ITEM' IN TYPEOF(sri)) AND (sri.name = 'calculation method')) )) <= 1; wr3: SIZEOF(QUERY ( apr <* USEDIN(SELF, 'DIMENSIONAL_INSPECTION_SCHEMA.' + 'ACTION_PROPERTY_REPRESENTATION.REPRESENTATION') | ( 'DIMENSIONAL_INSPECTION_SCHEMA.DM_PARAMETER_ANALYSIS_DML' IN TYPEOF(apr.property)) )) <= 1; wr4: SIZEOF(QUERY ( pdr <* USEDIN(SELF,'DIMENSIONAL_INSPECTION_SCHEMA.PROPERTY_DEFINITION_REPRESENTATION.' + 'USED_REPRESENTATION') | (((pdr.name = 'specification') AND ( 'DIMENSIONAL_INSPECTION_SCHEMA.PRODUCT_DEFINITION_SHAPE' IN TYPEOF(pdr.definition))) AND (SIZEOF(QUERY ( sa <* USEDIN( pdr.definition, 'DIMENSIONAL_INSPECTION_SCHEMA.SHAPE_ASPECT.OF_SHAPE') | ( SIZEOF(['DIMENSIONAL_INSPECTION_SCHEMA.TRANSITION_FEATURE', 'DIMENSIONAL_INSPECTION_SCHEMA.INSTANCED_FEATURE'] * TYPEOF( sa)) = 1) )) = 1)) )) <= 1; wr5: SIZEOF(QUERY ( pdr <* USEDIN(SELF,'DIMENSIONAL_INSPECTION_SCHEMA.REPRESENTATION_RELATIONSHIP.REP_1') | ('DIMENSIONAL_INSPECTION_SCHEMA.SHAPE_DIMENSION_REPRESENTATION' IN TYPEOF(pdr.rep_2)) )) <= 1; wr6: SIZEOF(QUERY ( pdr <* USEDIN(SELF,'DIMENSIONAL_INSPECTION_SCHEMA.PROPERTY_DEFINITION_REPRESENTATION.' + 'USED_REPRESENTATION') | (((pdr.name = 'specification') AND ( 'DIMENSIONAL_INSPECTION_SCHEMA.PRODUCT_DEFINITION_SHAPE' IN TYPEOF(pdr.definition))) AND (SIZEOF(QUERY ( sa <* USEDIN( pdr.definition, 'DIMENSIONAL_INSPECTION_SCHEMA.SHAPE_ASPECT.OF_SHAPE') | ( SIZEOF(QUERY ( gtol <* USEDIN(sa, 'DIMENSIONAL_INSPECTION_SCHEMA.GEOMETRIC_TOLERANCE.' + 'TOLERANCED_SHAPE_ASPECT') | ( 'DIMENSIONAL_INSPECTION_SCHEMA.GEOMETRIC_TOLERANCE' IN TYPEOF(gtol)) )) = 1) )) = 1)) )) <= 1; END_ENTITY; -- dm_result_parameter ENTITY dm_tolerance_analysis_mode_dml SUBTYPE OF (dimensional_measurement_representation); WHERE wr1: SIZEOF(QUERY ( repi <* SELF.items | ((('DIMENSIONAL_INSPECTION_SCHEMA.DESCRIPTIVE_REPRESENTATION_ITEM' IN TYPEOF(repi)) AND (repi.name = 'feature tolerance mode method')) AND (repi.description IN [ 'least square 3d','least square normal', 'minimum deviation 3d','standard'])) )) <= 1; wr2: SIZEOF(QUERY ( repi <* SELF.items | ((('DIMENSIONAL_INSPECTION_SCHEMA.DESCRIPTIVE_REPRESENTATION_ITEM' IN TYPEOF(repi)) AND (repi.name = 'feature tolerance mode option')) AND (repi.description IN [ 'high point','best fit'])) )) <= 1; wr3: SIZEOF(QUERY ( repi <* SELF.items | ((('DIMENSIONAL_INSPECTION_SCHEMA.DESCRIPTIVE_REPRESENTATION_ITEM' IN TYPEOF(repi)) AND (repi.name = 'feature tolerance mode setting')) AND (repi.description IN ['inner','outer','standard'])) )) <= 1; wr4: SIZEOF(QUERY ( repi <* SELF.items | ((('DIMENSIONAL_INSPECTION_SCHEMA.DESCRIPTIVE_REPRESENTATION_ITEM' IN TYPEOF(repi)) AND (repi.name = 'feature tolerance mode method default')) AND (repi. description IN ['standard'])) )) = 1; wr5: SIZEOF(QUERY ( repi <* SELF.items | ((('DIMENSIONAL_INSPECTION_SCHEMA.DESCRIPTIVE_REPRESENTATION_ITEM' IN TYPEOF(repi)) AND (repi.name = 'feature tolerance mode option default')) AND (repi. description IN ['best fit'])) )) = 1; wr6: SIZEOF(QUERY ( repi <* SELF.items | ((('DIMENSIONAL_INSPECTION_SCHEMA.DESCRIPTIVE_REPRESENTATION_ITEM' IN TYPEOF(repi)) AND (repi.name = 'feature tolerance mode setting default')) AND (repi. description IN ['standard'])) )) = 1; END_ENTITY; -- dm_tolerance_analysis_mode_dml ENTITY dm_vector_parameter SUBTYPE OF (dm_result_parameter); WHERE wr1: SIZEOF(QUERY ( repi <* SELF.items | ( 'DIMENSIONAL_INSPECTION_SCHEMA.VECTOR' IN TYPEOF(repi)) )) = 1; wr2: SIZEOF(QUERY ( repi <* SELF.items | ((SIZEOF([ 'DIMENSIONAL_INSPECTION_SCHEMA.MEASURE_REPRESENTATION_ITEM','DIMENSIONAL_INSPECTION_SCHEMA.QUALIFIED_REPRESENTATION_ITEM'] * TYPEOF(repi)) = 2) AND (SIZEOF(QUERY ( uq <* repi. qualifiers | (((SIZEOF([ 'DIMENSIONAL_INSPECTION_SCHEMA.STANDARD_UNCERTAINTY'] * TYPEOF(uq)) = 1) AND (uq.measure_name = 'value uncertainty')) AND (uq.description IN ['i uncertainty','j uncertainty', 'k uncertainty'])) )) <= 3)) )) <= 1; END_ENTITY; -- dm_vector_parameter ENTITY dmf_arc SUBTYPE OF (dm_feature_definition); WHERE wr1: SIZEOF(QUERY ( pd <* USEDIN(SELF,'DIMENSIONAL_INSPECTION_SCHEMA.PROPERTY_DEFINITION.DEFINITION') | (SIZEOF(QUERY ( pdr <* USEDIN(pd, 'DIMENSIONAL_INSPECTION_SCHEMA.' + 'PROPERTY_DEFINITION_REPRESENTATION.DEFINITION') | ((( 'DIMENSIONAL_INSPECTION_SCHEMA.' + 'SHAPE_REPRESENTATION_WITH_PARAMETERS') IN TYPEOF(pdr. used_representation)) AND (SIZEOF(pdr.used_representation. items) = 2)) )) = 1) )) = 1; wr2: NOT (SIZEOF(QUERY ( pd <* USEDIN(SELF,'DIMENSIONAL_INSPECTION_SCHEMA.PROPERTY_DEFINITION.DEFINITION') | (SIZEOF(QUERY ( pdr <* USEDIN(pd, 'DIMENSIONAL_INSPECTION_SCHEMA.' + 'PROPERTY_DEFINITION_REPRESENTATION.DEFINITION') | (( 'DIMENSIONAL_INSPECTION_SCHEMA.DM_POINT_PARAMETER' IN TYPEOF(pdr.used_representation)) AND (SIZEOF(QUERY ( na <* USEDIN(pdr, 'DIMENSIONAL_INSPECTION_SCHEMA.NAME_ATTRIBUTE.NAMED_ITEM') | (na.attribute_value = 'center point') )) = 1)) )) = 1) )) = 0); wr3: NOT (SIZEOF(QUERY ( pd <* USEDIN(SELF,'DIMENSIONAL_INSPECTION_SCHEMA.PROPERTY_DEFINITION.DEFINITION') | (SIZEOF(QUERY ( pdr <* USEDIN(pd, 'DIMENSIONAL_INSPECTION_SCHEMA.' + 'PROPERTY_DEFINITION_REPRESENTATION.DEFINITION') | (( 'DIMENSIONAL_INSPECTION_SCHEMA.DM_VECTOR_PARAMETER' IN TYPEOF(pdr.used_representation)) AND (SIZEOF(QUERY ( na <* USEDIN(pdr, 'DIMENSIONAL_INSPECTION_SCHEMA.NAME_ATTRIBUTE.NAMED_ITEM') | (na.attribute_value = 'start vector') )) = 1)) )) = 1) )) = 0); wr4: NOT (SIZEOF(QUERY ( pd <* USEDIN(SELF,'DIMENSIONAL_INSPECTION_SCHEMA.PROPERTY_DEFINITION.DEFINITION') | (SIZEOF(QUERY ( pdr <* USEDIN(pd, 'DIMENSIONAL_INSPECTION_SCHEMA.' + 'PROPERTY_DEFINITION_REPRESENTATION.DEFINITION') | (( 'DIMENSIONAL_INSPECTION_SCHEMA.DM_VECTOR_PARAMETER' IN TYPEOF(pdr.used_representation)) AND (SIZEOF(QUERY ( na <* USEDIN(pdr, 'DIMENSIONAL_INSPECTION_SCHEMA.NAME_ATTRIBUTE.NAMED_ITEM') | (na.attribute_value = 'end vector') )) = 1)) )) = 1) )) = 0); wr5: NOT (SIZEOF(QUERY ( pd <* USEDIN(SELF,'DIMENSIONAL_INSPECTION_SCHEMA.PROPERTY_DEFINITION.DEFINITION') | (SIZEOF(QUERY ( pdr <* USEDIN(pd, 'DIMENSIONAL_INSPECTION_SCHEMA.' + 'PROPERTY_DEFINITION_REPRESENTATION.DEFINITION') | (( 'DIMENSIONAL_INSPECTION_SCHEMA.DM_VECTOR_PARAMETER' IN TYPEOF(pdr.used_representation)) AND (SIZEOF(QUERY ( na <* USEDIN(pdr, 'DIMENSIONAL_INSPECTION_SCHEMA.NAME_ATTRIBUTE.NAMED_ITEM') | (na.attribute_value = 'axis direction vector') )) = 1)) )) = 1) )) = 0); wr6: NOT (SIZEOF(QUERY ( pd <* USEDIN(SELF,'DIMENSIONAL_INSPECTION_SCHEMA.PROPERTY_DEFINITION.DEFINITION') | (SIZEOF(QUERY ( pdr <* USEDIN(pd, 'DIMENSIONAL_INSPECTION_SCHEMA.' + 'PROPERTY_DEFINITION_REPRESENTATION.DEFINITION') | (( 'DIMENSIONAL_INSPECTION_SCHEMA.DM_DIMENSION_PARAMETER' IN TYPEOF(pdr.used_representation)) AND (SIZEOF(QUERY ( na <* USEDIN(pdr, 'DIMENSIONAL_INSPECTION_SCHEMA.NAME_ATTRIBUTE.NAMED_ITEM') | (na.attribute_value = 'radius') )) = 1)) )) <= 1) )) = 0); wr7: SIZEOF(QUERY ( pd <* USEDIN(SELF,'DIMENSIONAL_INSPECTION_SCHEMA.PROPERTY_DEFINITION.DEFINITION') | (NOT (SIZEOF(QUERY ( impl_rep <* QUERY ( pdr <* USEDIN(pd, 'DIMENSIONAL_INSPECTION_SCHEMA.' + 'PROPERTY_DEFINITION_REPRESENTATION.DEFINITION') | (( 'DIMENSIONAL_INSPECTION_SCHEMA.' + 'SHAPE_REPRESENTATION_WITH_PARAMETERS') IN TYPEOF(pdr. used_representation)) ) | (NOT (SIZEOF(QUERY ( it <* impl_rep.used_representation.items | ((('DIMENSIONAL_INSPECTION_SCHEMA.DESCRIPTIVE_REPRESENTATION_ITEM' IN TYPEOF(it)) AND (it.name = 'inner or outer')) AND ((it. description = 'inner') OR (it.description = 'outer'))) )) <= 1)) )) = 0)) )) = 0; END_ENTITY; -- dmf_arc ENTITY dmf_circle SUBTYPE OF (dm_feature_definition); WHERE wr1: SIZEOF(QUERY ( pd <* USEDIN(SELF,'DIMENSIONAL_INSPECTION_SCHEMA.PROPERTY_DEFINITION.DEFINITION') | (SIZEOF(QUERY ( pdr <* USEDIN(pd, 'DIMENSIONAL_INSPECTION_SCHEMA.' + 'PROPERTY_DEFINITION_REPRESENTATION.DEFINITION') | ((( 'DIMENSIONAL_INSPECTION_SCHEMA.' + 'SHAPE_REPRESENTATION_WITH_PARAMETERS') IN TYPEOF(pdr. used_representation)) AND (SIZEOF(pdr.used_representation. items) = 2)) )) = 1) )) = 1; wr2: NOT (SIZEOF(QUERY ( pd <* USEDIN(SELF,'DIMENSIONAL_INSPECTION_SCHEMA.PROPERTY_DEFINITION.DEFINITION') | (SIZEOF(QUERY ( pdr <* USEDIN(pd, 'DIMENSIONAL_INSPECTION_SCHEMA.' + 'PROPERTY_DEFINITION_REPRESENTATION.DEFINITION') | (( 'DIMENSIONAL_INSPECTION_SCHEMA.DM_POINT_PARAMETER' IN TYPEOF(pdr.used_representation)) AND (SIZEOF(QUERY ( na <* USEDIN(pdr, 'DIMENSIONAL_INSPECTION_SCHEMA.NAME_ATTRIBUTE.NAMED_ITEM') | (na.attribute_value = 'center point') )) = 1)) )) = 1) )) = 0); wr3: NOT (SIZEOF(QUERY ( pd <* USEDIN(SELF,'DIMENSIONAL_INSPECTION_SCHEMA.PROPERTY_DEFINITION.DEFINITION') | (SIZEOF(QUERY ( pdr <* USEDIN(pd, 'DIMENSIONAL_INSPECTION_SCHEMA.' + 'PROPERTY_DEFINITION_REPRESENTATION.DEFINITION') | (( 'DIMENSIONAL_INSPECTION_SCHEMA.DM_VECTOR_PARAMETER' IN TYPEOF(pdr.used_representation)) AND (SIZEOF(QUERY ( na <* USEDIN(pdr, 'DIMENSIONAL_INSPECTION_SCHEMA.NAME_ATTRIBUTE.NAMED_ITEM') | (na.attribute_value = 'axis direction vector') )) = 1)) )) = 1) )) = 0); wr4: NOT (SIZEOF(QUERY ( pd <* USEDIN(SELF,'DIMENSIONAL_INSPECTION_SCHEMA.PROPERTY_DEFINITION.DEFINITION') | (SIZEOF(QUERY ( pdr <* USEDIN(pd, 'DIMENSIONAL_INSPECTION_SCHEMA.' + 'PROPERTY_DEFINITION_REPRESENTATION.DEFINITION') | (( 'DIMENSIONAL_INSPECTION_SCHEMA.DM_DIMENSION_PARAMETER' IN TYPEOF(pdr.used_representation)) AND (SIZEOF(QUERY ( na <* USEDIN(pdr, 'DIMENSIONAL_INSPECTION_SCHEMA.NAME_ATTRIBUTE.NAMED_ITEM') | (na.attribute_value = 'diameter') )) = 1)) )) <= 1) )) = 0); wr5: SIZEOF(QUERY ( pd <* USEDIN(SELF,'DIMENSIONAL_INSPECTION_SCHEMA.PROPERTY_DEFINITION.DEFINITION') | (NOT (SIZEOF(QUERY ( impl_rep <* QUERY ( pdr <* USEDIN(pd, 'DIMENSIONAL_INSPECTION_SCHEMA.' + 'PROPERTY_DEFINITION_REPRESENTATION.DEFINITION') | (( 'DIMENSIONAL_INSPECTION_SCHEMA.' + 'SHAPE_REPRESENTATION_WITH_PARAMET