RULE restrict_concept_feature_operator

(* SCHEMA step_merged_ap_schema; *)
-- IN AP203e2/AP214/AP242
RULE restrict_concept_feature_operator FOR (concept_feature_operator );
   WHERE
      wr1:
         SIZEOF(QUERY (cfo <* concept_feature_operator| NOT (cfo.name IN [ 'and', 'or', 'oneof', 'not', 'implication' ]))) = 0;
      wr2:
         SIZEOF(QUERY (cfo <* concept_feature_operator| (cfo.name = 'implication') AND (SIZEOF(QUERY (cfrwc <* USEDIN(cfo, 'STEP_MERGED_AP_SCHEMA.' + 'CONCEPT_FEATURE_RELATIONSHIP_WITH_CONDITION.' + 'CONDITIONAL_OPERATOR')| (SIZEOF(QUERY (ccf <* USEDIN(cfrwc, 'STEP_MERGED_AP_SCHEMA.' + 'CONDITIONAL_CONCEPT_FEATURE.CONDITION')| NOT ('STEP_MERGED_AP_SCHEMA.' + 'INCLUSION_PRODUCT_CONCEPT_FEATURE' IN TYPEOF(ccf)))) > 0))) > 0))) = 0;
      WR3:
         SIZEOF(QUERY (cfo <* concept_feature_operator| (cfo.name = 'not') AND (SIZEOF(QUERY (cfrwc <* USEDIN(cfo, 'STEP_MERGED_AP_SCHEMA.' + 'CONCEPT_FEATURE_RELATIONSHIP_WITH_CONDITION.' + 'CONDITIONAL_OPERATOR')| (cfrwc.related_product_concept_feature :<>: cfrwc.relating_product_concept_feature))) > 0))) = 0;
END_RULE;

[Top Level Definitions] [Exit]

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