RULE approval_requires_approval_date_time

(* SCHEMA feature_based_process_planning; *)

  RULE approval_requires_approval_date_time FOR (approval, 
             approval_date_time);

  WHERE
    wr1: SIZEOF(QUERY ( app <* approval | (NOT (SIZEOF(QUERY ( adt <* 
             approval_date_time | (app :=: adt.dated_approval) )) = 1)) )) 
             = 0;

  END_RULE; -- approval_requires_approval_date_time

Generated by STEP Tools® EXPRESS to HTML Converter
2012-03-27T17:18:01-04:00