| (:*******************************************************:) | |
| (:Written By: Carmelo Montanez (Automatic Generation) :) | |
| (:Date: June 24, 2005 :) | |
| (:Name nodeexpression31 :) | |
| (:Purpose: Test of a ComparisonExpression testing the :) | |
| (: rule that states "If any node in a given tree, T1, :) | |
| (: occurs before any node in a different tree, T2, then :) | |
| (: all nodes in T1 are before all nodes in T2." Compare :) | |
| (: the first node of the first operand against various :) | |
| (: nodes of the second operand. :) | |
| (:*******************************************************:) | |
| (: insert-start :) | |
| declare variable $input-context1 external; | |
| declare variable $input-context2 external; | |
| (: insert-end :) | |
| (($input-context1/works[1]/employee[1]/empnum[1] << $input-context2/staff[1]/employee[1]/empnum[1]) | |
| and ($input-context1/works[1]/employee[1]/empnum[1] << $input-context2/staff[1]/employee[2]/empnum[1]) | |
| and ($input-context1/works[1]/employee[1]/empnum[1] << $input-context2/staff[1]/employee[3]/empnum[1])) | |
| or | |
| (($input-context1/works[1]/employee[1]/empnum[1] >> $input-context2/staff[1]/employee[1]/empnum[1]) | |
| and ($input-context1/works[1]/employee[1]/empnum[1] >> $input-context2/staff[1]/employee[2]/empnum[1]) | |
| and ($input-context1/works[1]/employee[1]/empnum[1] >> $input-context2/staff[1]/employee[3]/empnum[1])) | |