RULE subtype_exclusiveness_mapped_item

(* SCHEMA step_merged_ap_schema; *)
-- IN AP214
RULE subtype_exclusiveness_mapped_item FOR (mapped_item );
   WHERE
      wr1:
         SIZEOF(QUERY (mi <* mapped_item| NOT type_check_function(mi, [ ('STEP_MERGED_AP_SCHEMA.' + 'ANNOTATION_SYMBOL'), ('STEP_MERGED_AP_SCHEMA.' + 'ANNOTATION_TEXT'), ('STEP_MERGED_AP_SCHEMA.' + 'ANNOTATION_TEXT_CHARACTER'), ('STEP_MERGED_AP_SCHEMA.' + 'CAMERA_IMAGE'), ('STEP_MERGED_AP_SCHEMA.' + 'DIMENSION_TEXT_ASSOCIATIVITY') ], 3))) = 0;
END_RULE;

[Top Level Definitions] [Exit]

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