RULE non_instantiable_object_role

(* SCHEMA step_merged_ap_schema; *)
-- IN AP224
RULE non_instantiable_object_role FOR (object_role );
   WHERE
      wr1:
         SIZEOF(QUERY (da <* object_role| NOT (SIZEOF(USEDIN(da, '')) = 1))) = 0;
END_RULE;

[Top Level Definitions] [Exit]

Generated by STEP Tools® EXPRESS to HTML Converter
2020-07-28T17:02:20-04:00