RULE subtype_exclusiveness_replicate_feature

(* SCHEMA step_merged_ap_schema; *)
-- IN AP214
RULE subtype_exclusiveness_replicate_feature FOR (replicate_feature );
   WHERE
      wr1:
         SIZEOF(QUERY (rf <* replicate_feature| NOT type_check_function(rf, [ ('STEP_MERGED_AP_SCHEMA.' + 'CIRCULAR_PATTERN'), ('STEP_MERGED_AP_SCHEMA.' + 'FEATURE_PATTERN'), ('STEP_MERGED_AP_SCHEMA.' + 'MODIFIED_PATTERN'), ('STEP_MERGED_AP_SCHEMA.' + 'RECTANGULAR_PATTERN') ], 3))) = 0;
END_RULE;

[Top Level Definitions] [Exit]

Generated by STEP Tools® EXPRESS to HTML Converter
2017-01-19T11:17:24-05:00