RULE subtype_mandatory_annotation_occurrence

(* SCHEMA associative_draughting; *)

  RULE subtype_mandatory_annotation_occurrence FOR (annotation_occurrence);

  WHERE
    wr1: SIZEOF(QUERY ( ao <* annotation_occurrence | (NOT (
             'ASSOCIATIVE_DRAUGHTING.DRAUGHTING_ANNOTATION_OCCURRENCE' IN 
             TYPEOF(ao))) )) = 0;

  END_RULE; -- subtype_mandatory_annotation_occurrence

[Top Level Definitions] [Exit]

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