RULE text_font_usage

(* SCHEMA explicit_draughting; *)
  RULE text_font_usage FOR
    (pre_defined_text_font,
     externally_defined_text_font);
  WHERE
    WR1: SIZEOF (QUERY (pdtf <* pre_defined_text_font |
         NOT (SIZEOF (USEDIN (pdtf, 'EXPLICIT_DRAUGHTING.' +
                                    'TEXT_LITERAL.FONT'))>=1
         )))=0;
    WR2: SIZEOF (QUERY (edtf <* externally_defined_text_font |
         NOT (SIZEOF (USEDIN (edtf, 'EXPLICIT_DRAUGHTING.' +
                                    'TEXT_LITERAL.FONT'))>=1
         )))=0;
  END_RULE;

[Top Level Definitions] [Exit]

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