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