RULE subtype_exclusiveness_characterized_object

(* SCHEMA step_merged_ap_schema; *)

-- IN AP214
RULE subtype_exclusiveness_characterized_object FOR (characterized_object );
   WHERE
      wr1:
         SIZEOF(QUERY (co <* characterized_object| NOT type_check_function(co, [ ('STEP_MERGED_AP_SCHEMA.' + 'CHARACTERIZED_CLASS'), ('STEP_MERGED_AP_SCHEMA.' + 'DOCUMENT_FILE'), ('STEP_MERGED_AP_SCHEMA.' + 'FEATURE_COMPONENT_DEFINITION'), ('STEP_MERGED_AP_SCHEMA.' + 'FEATURE_DEFINITION'), ('STEP_MERGED_AP_SCHEMA.' + 'PRODUCT_CLASS'), ('STEP_MERGED_AP_SCHEMA.' + 'PRODUCT_IDENTIFICATION') ], 3))) = 0;
END_RULE;

[Top Level Definitions] [Exit]

Generated by STEP Tools® EXPRESS to HTML Converter
2020-07-28T17:02:20-04:00