RULE externally_defined_text_font_instantiation

(* 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;

[Top Level Definitions] [Exit]

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