RULE dependent_instantiable_externally_defined_symbol

(* SCHEMA step_merged_ap_schema; *)
-- IN AP214
RULE dependent_instantiable_externally_defined_symbol FOR (externally_defined_symbol );
   WHERE
      wr1:
         SIZEOF(QUERY (e <* externally_defined_symbol| NOT (SIZEOF(USEDIN(e, '')) > 0))) = 0;
END_RULE;

[Top Level Definitions] [Exit]

Generated by STEP Tools® EXPRESS to HTML Converter
2017-01-19T11:17:24-05:00