|
| Implementations | ||||||||||||||||
| Tests | BaseX 7.7 XQ30 |
EMC/xDB xDB_main_r2411365 XQ30 |
Saxon-EE 9.5.1.1 XP20 |
Saxon-EE 9.5.1.1 XQ10 |
Saxon-EE 9.5.1.1 XP30 |
Saxon-EE 9.5.1.1 XQ30 |
Saxon-EE 9.5.1.4 XQX30 (QT3 v1.1) |
XmlPrime 3.0.0.0 XP30 (QT3 vCVS) |
XmlPrime 3.0.0.0 XQ30 (QT3 vCVS) |
XmlPrime 3.0.0.0 XQX30 (QT3 vCVS) |
XmlPrime 3.0.0.0 XP20 (QT3 vCVS) |
XmlPrime 3.0.0.0 XQX10 (QT3 vCVS) |
XmlPrime 3.0.0.0 XQ10 (QT3 vCVS) |
Zorba 2.9 XQ10 (QT3 vCVS) |
Zorba 2.9 XQ30 (QT3 vCVS) |
|
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| prod-GeneralComp.le | 108/108 | 108/108 | 57/57 | 108/108 | 57/57 | 108/108 | 108/108 | 57/57 | 108/108 | 108/108 | 57/57 | 108/108 | 108/108 | 108/108 | 108/108 | 3/15 |
| generalexpression298[+]
X generalexpression298: () <= () |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| generalexpression299[+]
X generalexpression299: () <= 10000 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| generalexpression300[+]
X generalexpression300: () <= (50000) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| generalexpression301[+]
X generalexpression301: () <= (10000,50000) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| generalexpression302[+]
X generalexpression302: () <= <a>10000</a> |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| generalexpression303[+]
X generalexpression303: () <= (<a>10000</a>) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| generalexpression304[+]
X generalexpression304: () <= (<a>10000</a>,<b>50000</b>) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| generalexpression305[+]
X generalexpression305: () <= (/works/employee[1]/hours[1]) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| generalexpression306[+]
X generalexpression306: () <= (/works/employee[1]/hours[1],/works/employee[6]/hours[1]) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| generalexpression307[+]
X generalexpression307: () <= ($works/works/employee[1]/hours[1],$staff/staff/employee[6]/grade[1]) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| generalexpression308[+]
X generalexpression308: 10000 <= () |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| generalexpression309[+]
X generalexpression309: 10000 <= (50000) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| generalexpression310[+]
X generalexpression310: 10000 <= (10000,50000) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| generalexpression311[+]
X generalexpression311: 10000 <= <a>10000</a> |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| generalexpression312[+]
X generalexpression312: 10000 <= (<a>10000</a>) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| generalexpression313[+]
X generalexpression313: 10000 <= (<a>10000</a>,<b>50000</b>) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| generalexpression314[+]
X generalexpression314: 10000 <= (/works/employee[1]/hours[1]) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| generalexpression315[+]
X generalexpression315: 10000 <= (/works/employee[1]/hours[1],/works/employee[6]/hours[1]) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| generalexpression316[+]
X generalexpression316: 10000 <= ($works/works/employee[1]/hours[1],$staff/staff/employee[6]/grade[1]) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| generalexpression317[+]
X generalexpression317: (50000) <= () |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| generalexpression318[+]
X generalexpression318: (50000) <= 10000 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| generalexpression319[+]
X generalexpression319: (50000) <= (50000) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| generalexpression320[+]
X generalexpression320: (50000) <= (10000,50000) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| generalexpression321[+]
X generalexpression321: (50000) <= <a>10000</a> |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| generalexpression322[+]
X generalexpression322: (50000) <= (<a>10000</a>) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| generalexpression323[+]
X generalexpression323: (50000) <= (<a>10000</a>,<b>50000</b>) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| generalexpression324[+]
X generalexpression324: (50000) <= (/works/employee[1]/hours[1]) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| generalexpression325[+]
X generalexpression325: (50000) <= (/works/employee[1]/hours[1],/works/employee[6]/hours[1]) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| generalexpression326[+]
X generalexpression326: (50000) <= ($works/works/employee[1]/hours[1],$staff/staff/employee[6]/grade[1]) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| generalexpression327[+]
X generalexpression327: (10000,50000) <= () |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| generalexpression328[+]
X generalexpression328: (10000,50000) <= 10000 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| generalexpression329[+]
X generalexpression329: (10000,50000) <= (50000) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| generalexpression330[+]
X generalexpression330: (10000,50000) <= (10000,50000) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| generalexpression331[+]
X generalexpression331: (10000,50000) <= <a>10000</a> |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| generalexpression332[+]
X generalexpression332: (10000,50000) <= (<a>10000</a>) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| generalexpression333[+]
X generalexpression333: (10000,50000) <= (<a>10000</a>,<b>50000</b>) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| generalexpression334[+]
X generalexpression334: (10000,50000) <= (/works/employee[1]/hours[1]) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| generalexpression335[+]
X generalexpression335: (10000,50000) <= (/works/employee[1]/hours[1],/works/employee[6]/hours[1]) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| generalexpression336[+]
X generalexpression336: (10000,50000) <= ($works/works/employee[1]/hours[1],$staff/staff/employee[6]/grade[1]) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| generalexpression337[+]
X generalexpression337: <a>10000</a> <= () |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| generalexpression338[+]
X generalexpression338: <a>10000</a> <= 10000 |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| generalexpression339[+]
X generalexpression339: <a>10000</a> <= (50000) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| generalexpression340[+]
X generalexpression340: <a>10000</a> <= (10000,50000) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| generalexpression341[+]
X generalexpression341: <a>10000</a> <= <a>10000</a> |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| generalexpression342[+]
X generalexpression342: <a>10000</a> <= (<a>10000</a>) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| generalexpression343[+]
X generalexpression343: <a>10000</a> <= (<a>10000</a>,<b>50000</b>) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| generalexpression344[+]
X generalexpression344: <a>10000</a> <= (/works/employee[1]/hours[1]) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| generalexpression345[+]
X generalexpression345: <a>10000</a> <= (/works/employee[1]/hours[1],/works/employee[6]/hours[1]) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| generalexpression346[+]
X generalexpression346: <a>10000</a> <= ($works/works/employee[1]/hours[1],$staff/staff/employee[6]/grade[1]) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| generalexpression347[+]
X generalexpression347: (<a>10000</a>) <= () |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| generalexpression348[+]
X generalexpression348: (<a>10000</a>) <= 10000 |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| generalexpression349[+]
X generalexpression349: (<a>10000</a>) <= (50000) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| generalexpression350[+]
X generalexpression350: (<a>10000</a>) <= (10000,50000) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| generalexpression351[+]
X generalexpression351: (<a>10000</a>) <= <a>10000</a> |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| generalexpression352[+]
X generalexpression352: (<a>10000</a>) <= (<a>10000</a>) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| generalexpression353[+]
X generalexpression353: (<a>10000</a>) <= (<a>10000</a>,<b>50000</b>) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| generalexpression354[+]
X generalexpression354: (<a>10000</a>) <= (/works/employee[1]/hours[1]) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| generalexpression355[+]
X generalexpression355: (<a>10000</a>) <= (/works/employee[1]/hours[1],/works/employee[6]/hours[1]) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| generalexpression356[+]
X generalexpression356: (<a>10000</a>) <= ($works/works/employee[1]/hours[1],$staff/staff/employee[6]/grade[1]) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| generalexpression357[+]
X generalexpression357: (<a>10000</a>,<b>50000</b>) <= () |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| generalexpression358[+]
X generalexpression358: (<a>10000</a>,<b>50000</b>) <= 10000 |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| generalexpression359[+]
X generalexpression359: (<a>10000</a>,<b>50000</b>) <= (50000) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| generalexpression360[+]
X generalexpression360: (<a>10000</a>,<b>50000</b>) <= (10000,50000) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| generalexpression361[+]
X generalexpression361: (<a>10000</a>,<b>50000</b>) <= <a>10000</a> |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| generalexpression362[+]
X generalexpression362: (<a>10000</a>,<b>50000</b>) <= (<a>10000</a>) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| generalexpression363[+]
X generalexpression363: (<a>10000</a>,<b>50000</b>) <= (<a>10000</a>,<b>50000</b>) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| generalexpression364[+]
X generalexpression364: (<a>10000</a>,<b>50000</b>) <= (/works/employee[1]/hours[1]) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| generalexpression365[+]
X generalexpression365: (<a>10000</a>,<b>50000</b>) <= (/works/employee[1]/hours[1],/works/employee[6]/hours[1]) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| generalexpression366[+]
X generalexpression366: (<a>10000</a>,<b>50000</b>) <= ($works/works/employee[1]/hours[1],$staff/staff/employee[6]/grade[1]) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| generalexpression367[+]
X generalexpression367: (/works/employee[1]/hours[1]) <= () |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| generalexpression368[+]
X generalexpression368: (/works/employee[1]/hours[1]) <= 10000 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| generalexpression369[+]
X generalexpression369: (/works/employee[1]/hours[1]) <= (50000) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| generalexpression370[+]
X generalexpression370: (/works/employee[1]/hours[1]) <= (10000,50000) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| generalexpression371[+]
X generalexpression371: (/works/employee[1]/hours[1]) <= <a>10000</a> |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| generalexpression372[+]
X generalexpression372: (/works/employee[1]/hours[1]) <= (<a>10000</a>) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| generalexpression373[+]
X generalexpression373: (/works/employee[1]/hours[1]) <= (<a>10000</a>,<b>50000</b>) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| generalexpression374[+]
X generalexpression374: (/works/employee[1]/hours[1]) <= (/works/employee[1]/hours[1]) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| generalexpression375[+]
X generalexpression375: (/works/employee[1]/hours[1]) <= (/works/employee[1]/hours[1],/works/employee[6]/hours[1]) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| generalexpression376[+]
X generalexpression376: ($works/works/employee[1]/hours[1]) <= ($works/works/employee[1]/hours[1],$staff/staff/employee[6]/grade[1]) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| generalexpression377[+]
X generalexpression377: (/works/employee[1]/hours[1],/works/employee[6]/hours[1]) <= () |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| generalexpression378[+]
X generalexpression378: (/works/employee[1]/hours[1],/works/employee[6]/hours[1]) <= 10000 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| generalexpression379[+]
X generalexpression379: (/works/employee[1]/hours[1],/works/employee[6]/hours[1]) <= (50000) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| generalexpression380[+]
X generalexpression380: (/works/employee[1]/hours[1],/works/employee[6]/hours[1]) <= (10000,50000) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| generalexpression381[+]
X generalexpression381: (/works/employee[1]/hours[1],/works/employee[6]/hours[1]) <= <a>10000</a> |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| generalexpression382[+]
X generalexpression382: (/works/employee[1]/hours[1],/works/employee[6]/hours[1]) <= (<a>10000</a>) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| generalexpression383[+]
X generalexpression383: (/works/employee[1]/hours[1],/works/employee[6]/hours[1]) <= (<a>10000</a>,<b>50000</b>) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| generalexpression384[+]
X generalexpression384: (/works/employee[1]/hours[1],/works/employee[6]/hours[1]) <= (/works/employee[1]/hours[1]) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| generalexpression385[+]
X generalexpression385: (/works/employee[1]/hours[1],/works/employee[6]/hours[1]) <= (/works/employee[1]/hours[1],/works/employee[6]/hours[1]) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| generalexpression386[+]
X generalexpression386: ($works/works/employee[1]/hours[1],$works/works/employee[6]/hours[1]) <= ($works/works/employee[1]/hours[1],$staff/staff/employee[6]/grade[1]) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| generalexpression387[+]
X generalexpression387: ($works/works/employee[1]/hours[1],$staff/staff/employee[6]/hours[1]) <= () |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| generalexpression388[+]
X generalexpression388: ($works/works/employee[1]/hours[1],$staff/staff/employee[6]/hours[1]) <= 10000 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| generalexpression389[+]
X generalexpression389: ($works/works/employee[1]/hours[1],$staff/staff/employee[6]/hours[1]) <= (50000) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| generalexpression390[+]
X generalexpression390: ($works/works/employee[1]/hours[1],$staff/staff/employee[6]/hours[1]) <= (10000,50000) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| generalexpression391[+]
X generalexpression391: ($works/works/employee[1]/hours[1],$staff/staff/employee[6]/hours[1]) <= <a>10000</a> |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| generalexpression392[+]
X generalexpression392: ($works/works/employee[1]/hours[1],$staff/staff/employee[6]/hours[1]) <= (<a>10000</a>) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| generalexpression393[+]
X generalexpression393: ($works/works/employee[1]/hours[1],$staff/staff/employee[6]/hours[1]) <= (<a>10000</a>,<b>50000</b>) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| generalexpression394[+]
X generalexpression394: ($works/works/employee[1]/hours[1],$staff/staff/employee[6]/hours[1]) <= ($works/works/employee[1]/hours[1]) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| generalexpression395[+]
X generalexpression395: ($works/works/employee[1]/hours[1],$staff/staff/employee[6]/hours[1]) <= ($works/works/employee[1]/hours[1],$works/works/employee[6]/hours[1]) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| generalexpression396[+]
X generalexpression396: ($works/works/employee[1]/hours[1],$staff/staff/employee[6]/hours[1]) <= ($works/works/employee[1]/hours[1],$staff/staff/employee[6]/grade[1]) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| lessthaneqonanyuri-1[+]
X lessthaneqonanyuri-1: (xs:anyURI("http://www.example/com")) <= (xs:anyURI("http://www.example/com")) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-GenCompLTEQ-1[+]
X K-GenCompLTEQ-1: not(() <= () ) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-GenCompLTEQ-2[+]
X K-GenCompLTEQ-2: not(1 <= () ) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-GenCompLTEQ-3[+]
X K-GenCompLTEQ-3: not(() <= 1 ) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-GenCompLTEQ-4[+]
X K-GenCompLTEQ-4: 1 <= 1 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-GenCompLTEQ-5[+]
X K-GenCompLTEQ-5: xs:untypedAtomic("false") <= false() |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-GenCompLTEQ-6[+]
X K-GenCompLTEQ-6: false() <= xs:untypedAtomic("false") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-GenCompLTEQ-7[+]
X K-GenCompLTEQ-7: xs:untypedAtomic("false") <= false() |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-GenCompLTEQ-8[+]
X K-GenCompLTEQ-8: true() <= xs:untypedAtomic("true") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |