RULE dependent_instantiable_named_unit

(* SCHEMA integrated_cnc_schema; *)

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

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