RULE presentation_layer_assignment_requires_usage

(* SCHEMA associative_draughting; *)

  RULE presentation_layer_assignment_requires_usage FOR (
             presentation_layer_assignment, presentation_layer_usage);

  WHERE
    wr1: SIZEOF(QUERY ( e <* presentation_layer_assignment | (NOT (SIZEOF(
             QUERY ( s <* presentation_layer_usage | (e :=: s.assignment) )) 
             = 1)) )) = 0;

  END_RULE; -- presentation_layer_assignment_requires_usage

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