RULE dependent_instantiable_date_time_role

(* SCHEMA step_merged_ap_schema; *)

-- IN AP214
RULE dependent_instantiable_date_time_role FOR (date_time_role );
   WHERE
      wr1:
         SIZEOF(QUERY (d <* date_time_role| NOT (SIZEOF(USEDIN(d, '')) > 0))) = 0;
END_RULE;

[Top Level Definitions] [Exit]

Generated by STEP Tools® EXPRESS to HTML Converter
2024-09-06T14:00:33-04:00