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
2019-11-01T17:50:42-04:00