RULE product_version_requires_definition

(* SCHEMA associative_draughting; *)

  RULE product_version_requires_definition FOR (
             product_definition_formation, product_definition);

  WHERE
    wr1: SIZEOF(QUERY ( pdf <* product_definition_formation | (NOT (
             SIZEOF(QUERY ( pd <* product_definition | (pdf :=: pd.
             formation) )) >= 1)) )) = 0;

  END_RULE; -- product_version_requires_definition

[Top Level Definitions] [Exit]

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