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