RULE subtype_exclusiveness_group

(* SCHEMA step_merged_ap_schema; *)

-- IN AP214
RULE subtype_exclusiveness_group FOR (group );
   WHERE
      wr1:
         SIZEOF(QUERY (g <* group| NOT type_check_function(g, [ ('STEP_MERGED_AP_SCHEMA.' + 'CLASS'), ('STEP_MERGED_AP_SCHEMA.' + 'CLASS_SYSTEM'), ('STEP_MERGED_AP_SCHEMA.' + 'LANGUAGE'), ('STEP_MERGED_AP_SCHEMA.' + 'PRODUCT_CONCEPT_FEATURE_CATEGORY'), ('STEP_MERGED_AP_SCHEMA.' + 'REP_ITEM_GROUP') ], 3))) = 0;
END_RULE;

[Top Level Definitions] [Exit]

Generated by STEP Tools® EXPRESS to HTML Converter
2024-09-06T14:00:33-04:00