RULE subtype_mandatory_draughting_callout

(* SCHEMA explicit_draughting; *)

  RULE subtype_mandatory_draughting_callout FOR (draughting_callout);
  WHERE
    WR1: SIZEOF (QUERY (dc <* draughting_callout |
         NOT ('EXPLICIT_DRAUGHTING.DRAUGHTING_ELEMENTS' IN
                 TYPEOF (dc))
         ))=0;
  END_RULE;

[Top Level Definitions] [Exit]

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