RULE product_requires_version

(* SCHEMA integrated_cnc_schema; *)

RULE product_requires_version FOR
  (product,
   product_definition_formation);
WHERE
  WR1:  (0 = SIZEOF (QUERY (prod <* product  | NOT
           (1 <= SIZEOF (QUERY (pdf <* product_definition_formation |
               (prod :=: pdf.of_product))))
        )));
END_RULE; -- 10303-238: integrated_cnc_schema

[Top Level Definitions]

Generated by STEP Tools^TM EXPRESS to HTML Converter
on 2010-01-12T10:42:25-02:00