RULE symbol_colour_instantiation

(* SCHEMA associative_draughting; *)

  RULE symbol_colour_instantiation FOR (symbol_colour);

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

  END_RULE; -- symbol_colour_instantiation

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