| (:*******************************************************:) | |
| (:Written By: Carmelo Montanez (Automatic Generation) :) | |
| (:Date: June 22, 2005 :) | |
| (:Name generalexpressionst298 :) | |
| (:Purpose: Test of a General Expression for the :) | |
| (:"statically empty" rule with the operands set as :) | |
| (:operand1 = Empty sequence operator = "<=" operand2 = Empty sequence:) | |
| (:*******************************************************:) | |
| () <= () |