RULE building_section_maps_into_building

(* SCHEMA Ap236_furniture_catalog_and_interior_design_mim_LF; *)
(* Implicit interfaced from: Location_in_building_mim *)
RULE building_section_maps_into_building FOR
  (mapped_item, representation_relationship_with_transformation);
WHERE
WR1: SIZEOF (QUERY (mi <* mapped_item |
        (SIZEOF (QUERY (pdr <* USEDIN(mi.mapping_source.mapped_representation,
        'AP236_FURNITURE_CATALOG_AND_INTERIOR_DESIGN_MIM_LF.'+
        'PROPERTY_DEFINITION_REPRESENTATION.USED_REPRESENTATION') |
	  SIZEOF (TYPEOF (pdr.definition.definition) *
        ['AP236_FURNITURE_CATALOG_AND_INTERIOR_DESIGN_MIM_LF.BUILDING_SECTION']
        ) = 1
        )) >= 1)
        AND
        (NOT (SIZEOF (QUERY (r <* USEDIN (mi,'AP236_FURNITURE_CATALOG_AND_INTERIOR_DESIGN_MIM_LF.'+
        'REPRESENTATION.ITEMS') |
        SIZEOF (QUERY (pdr <* USEDIN(r,'AP236_FURNITURE_CATALOG_AND_INTERIOR_DESIGN_MIM_LF.'+
        'PROPERTY_DEFINITION_REPRESENTATION.USED_REPRESENTATION') | 
        ('AP236_FURNITURE_CATALOG_AND_INTERIOR_DESIGN_MIM_LF.BUILDING' IN
        TYPEOF (pdr.definition.definition))
        )) >= 1
        )) = 1))
        )) = 0;
WR2: SIZEOF (QUERY (rrwt <* representation_relationship_with_transformation |
       (SIZEOF (QUERY (pdr <* USEDIN(rrwt\representation_relationship.rep_2,
       'AP236_FURNITURE_CATALOG_AND_INTERIOR_DESIGN_MIM_LF.'+
       'PROPERTY_DEFINITION_REPRESENTATION.USED_REPRESENTATION') |
	SIZEOF (TYPEOF (pdr.definition.definition) *
       ['AP236_FURNITURE_CATALOG_AND_INTERIOR_DESIGN_MIM_LF.BUILDING_SECTION']) = 1
       )) >= 1)
       AND
      (NOT (SIZEOF (QUERY (pdr <*
       USEDIN(rrwt\representation_relationship.rep_1,
       'AP236_FURNITURE_CATALOG_AND_INTERIOR_DESIGN_MIM_LF.PROPERTY_DEFINITION_REPRESENTATION.USED_REPRESENTATION') |
       ('AP236_FURNITURE_CATALOG_AND_INTERIOR_DESIGN_MIM_LF.BUILDING' IN TYPEOF (pdr.definition.definition))
       )) = 1))
       )) = 0;
WR3: SIZEOF (QUERY (rrwt_1 <*
       representation_relationship_with_transformation |
       SIZEOF (QUERY (rrwt_2 <*
       representation_relationship_with_transformation |
       (SIZEOF (QUERY (pdr <* USEDIN(rrwt_1\representation_relationship.rep_2,
       'AP236_FURNITURE_CATALOG_AND_INTERIOR_DESIGN_MIM_LF.PROPERTY_DEFINITION_REPRESENTATION.USED_REPRESENTATION') |
       SIZEOF (TYPEOF (pdr.definition.definition) * ['AP236_FURNITURE_CATALOG_AND_INTERIOR_DESIGN_MIM_LF.BUILDING_SECTION']) = 1
       )) >= 1)
       AND
       (rrwt_1\representation_relationship.rep_2 :=: rrwt_2\representation_relationship.rep_2)
       )) >= 1
       )) = 0;
END_RULE;

[Top Level Definitions] [Exit]

Generated by STEP Tools® EXPRESS to HTML Converter
2012-03-27T17:19:03-04:00