RULE approval_requires_assignment

(* SCHEMA step_merged_ap_schema; *)
-- IN AP238 STEP-NC
RULE approval_requires_assignment FOR (approval, approval_assignment );
   WHERE
      WR1:
         0 = SIZEOF(QUERY (app <* approval| NOT (1 <= SIZEOF(QUERY (aa <* approval_assignment| (app :=: aa.assigned_approval))))));
END_RULE;

[Top Level Definitions] [Exit]

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