(* SCHEMA explicit_draughting; *)
RULE externally_defined_text_font_instantiation FOR
(externally_defined_text_font);
WHERE
WR1: SIZEOF (QUERY (each <* externally_defined_text_font |
NOT (SIZEOF (USEDIN (each, '')) >= 1
))) = 0;
END_RULE;
Generated by STEP Tools® EXPRESS to HTML Converter
2012-03-27T17:14:03-04:00