RULE product_requires_version

(* SCHEMA feature_based_process_planning; *)

  RULE product_requires_version FOR (product, product_definition_formation);

  WHERE
    wr1: SIZEOF(QUERY ( prod <* product | (NOT (SIZEOF(QUERY ( pdf <* 
             product_definition_formation | (prod :=: pdf.of_product) )) >=
              1)) )) = 0;

  END_RULE; -- product_requires_version

[Top Level Definitions] [Exit]

Generated by STEP Tools® EXPRESS to HTML Converter
2012-03-27T17:18:01-04:00