(:*******************************************************:) | |
(:Written By: Carmelo Montanez (Automatic Generation) :) | |
(:Date: June 2, 2005 :) | |
(:Purpose: Test of a General Expression :) | |
(:with the operands set as follows :) | |
(: operand1 = Sequence of multiple element constructors:) | |
(: operator = <=:) | |
(: operand2 = Sequence of single atomic values:) | |
(:*******************************************************:) | |
(<a>10000</a>,<b>50000</b>) <= (10000,50000) |