RULE dependent_instantiable_derived_unit

(* SCHEMA integrated_cnc_schema; *)

RULE dependent_instantiable_derived_unit FOR
  (derived_unit);
WHERE
  WR1:  (0 = SIZEOF (QUERY (du <* derived_unit | NOT
           (1 <= SIZEOF (USEDIN (du, '')))
        )));
END_RULE; -- 10303-238: integrated_cnc_schema

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