RULE edge_round_requires_faces

(* SCHEMA cast_parts_schema; *)

  RULE edge_round_requires_faces FOR (edge_round, 
             property_definition_representation);

  WHERE
 
    wr1: SIZEOF(QUERY ( er <* edge_round | 
        (SIZEOF (QUERY (pd <* USEDIN (er,
       'CAST_PARTS_SCHEMA.PROPERTY_DEFINITION.DEFINITION') |
       NOT (SIZEOF (QUERY (pdr <* USEDIN (pd,
       'CAST_PARTS_SCHEMA.' +
       'PROPERTY_DEFINITION_REPRESENTATION.DEFINITION') |
       ('CAST_PARTS_SCHEMA.FACE_SHAPE_REPRESENTATION'
       IN TYPEOF (pdr.used_representation)) AND 
       (pdr.used_representation.name = 'edge round face'))) =1 ))) =1 )))=0;
    
    
    wr2:  SIZEOF(QUERY ( er <* edge_round | 
        (SIZEOF (QUERY (pd <* USEDIN (er,
       'CAST_PARTS_SCHEMA.PROPERTY_DEFINITION.DEFINITION') |
       NOT (SIZEOF (QUERY (pdr <* USEDIN (pd,
       'CAST_PARTS_SCHEMA.' +
       'PROPERTY_DEFINITION_REPRESENTATION.DEFINITION') |
       ('CAST_PARTS_SCHEMA.FACE_SHAPE_REPRESENTATION'
       IN TYPEOF (pdr.used_representation)) AND 
       (pdr.used_representation.name = 'first face shape'))) =1 ))) =1 )))=0;
       
    wr3:  SIZEOF(QUERY ( er <* edge_round | 
        (SIZEOF (QUERY (pd <* USEDIN (er,
       'CAST_PARTS_SCHEMA.PROPERTY_DEFINITION.DEFINITION') |
       NOT (SIZEOF (QUERY (pdr <* USEDIN (pd,
       'CAST_PARTS_SCHEMA.' +
       'PROPERTY_DEFINITION_REPRESENTATION.DEFINITION') |
       ('CAST_PARTS_SCHEMA.FACE_SHAPE_REPRESENTATION'
       IN TYPEOF (pdr.used_representation)) AND 
       (pdr.used_representation.name = 'second face shape'))) =1 ))) =1 )))=0;

  END_RULE; -- edge_round_requires_faces

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