(* SCHEMA step_merged_ap_schema; *)
-- IN AP214 RULE dependent_instantiable_pre_defined_symbol FOR (pre_defined_symbol ); WHERE wr1: SIZEOF(QUERY (p <* pre_defined_symbol| NOT (SIZEOF(USEDIN(p, '')) > 0))) = 0; END_RULE;
Generated by STEP Tools® EXPRESS to HTML Converter
2024-09-06T14:00:33-04:00