RULE pre_defined_symbol_instantiation

(* SCHEMA associative_draughting; *)

  RULE pre_defined_symbol_instantiation FOR (pre_defined_symbol);

  WHERE
    wr1: SIZEOF(QUERY ( each <* pre_defined_symbol | (NOT (SIZEOF(USEDIN(
             each,'')) >= 1)) )) = 0;

  END_RULE; -- pre_defined_symbol_instantiation

[Top Level Definitions] [Exit]

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