RULE material_is_specified_for_part

(* SCHEMA cast_parts_schema; *)

  RULE material_is_specified_for_part FOR (product_definition, 
             make_from_usage_option);

  WHERE
 wr1: SIZEOF(QUERY ( nmpd <* QUERY ( pd <* product_definition | 
     (SIZEOF(USEDIN(pd,'CAST_PARTS_SCHEMA.MATERIAL_DESIGNATION.DEFINITIONS')) 
     = 0) ) | 
     (NOT (SIZEOF(QUERY ( mfuo <* make_from_usage_option | 
     (nmpd :=: mfuo.relating_product_definition) )) >= 1)) )) = 0;

  END_RULE; -- material_is_specified_for_part

[Top Level Definitions] [Exit]

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