RULE presentation_of_product_definition_formation

(* SCHEMA explicit_draughting; *)

  RULE presentation_of_product_definition_formation FOR
    (product_definition_formation);
  WHERE
    WR1: SIZEOF (QUERY (pdf <* product_definition_formation |
         NOT (
         (SIZEOF (USEDIN (pdf, 'EXPLICIT_DRAUGHTING.' +
                               'DRAUGHTING_PRESENTED_ITEM.ITEMS'))>=1) OR
         
         (SIZEOF (QUERY (pd <* USEDIN (pdf, 'EXPLICIT_DRAUGHTING.' +
                                            'PRODUCT_DEFINITION.FORMATION') |
         NOT (
         SIZEOF (QUERY (pds <* QUERY (prop_def <*
                               USEDIN (pd, 'EXPLICIT_DRAUGHTING.' +
                                           'PROPERTY_DEFINITION.DEFINITION') |
                               'EXPLICIT_DRAUGHTING.PRODUCT_DEFINITION_SHAPE'
                               IN TYPEOF (prop_def)) |
         NOT (
         SIZEOF (QUERY (pdr <* USEDIN (pds, 'EXPLICIT_DRAUGHTING.' +
                                       'PROPERTY_DEFINITION_REPRESENTATION.' +
                                          'DEFINITION') |
                'EXPLICIT_DRAUGHTING.SHAPE_DEFINITION_REPRESENTATION'
                IN TYPEOF (pdr))) >= 1
         ))) = 0
         ))) = 0
         )
         ))) = 0;
  END_RULE;

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