|
| 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-QuantifiedExpr | 200/200 | 200/200 | 161/161 | 200/200 | 161/161 | 200/200 | 190/200 | 161/161 | 200/200 | 200/200 | 161/161 | 200/200 | 200/200 | 200/200 | 200/200 | 2/15 |
| quantExpr-1[+]
X quantExpr-1: some $x in (1, 2) satisfies $x + $x = 3 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| quantExpr-2[+]
X quantExpr-2: some $x in (1, 2) satisfies $x + $x = 2 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| quantExpr-3[+]
X quantExpr-3: some $x in (1, 2) satisfies $x - 2 = 2 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| quantExpr-4[+]
X quantExpr-4: some $x in (1, 2) satisfies $x - 2 = 0 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| quantExpr-5[+]
X quantExpr-5: some $x in (1, 2) satisfies $x * 2 = 4 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| quantExpr-6[+]
X quantExpr-6: some $x in (1, 2) satisfies $x div 2 = 1 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| quantExpr-7[+]
X quantExpr-7: some $x in (1, 2) satisfies $x idiv 2 = 1 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| quantExpr-8[+]
X quantExpr-8: some $x in (1, 2) satisfies fn:avg(($x, 1)) = 1 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| quantExpr-9[+]
X quantExpr-9: some $x in (1, 2) satisfies fn:string($x) = "1" |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| quantExpr-10[+]
X quantExpr-10: some $x in (1, 2) satisfies fn:string-length(xs:string($x)) = 1 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| quantExpr-11[+]
X quantExpr-11: some $x in (1, 2) satisfies fn:count(($x)) = 1 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| quantExpr-12[+]
X quantExpr-12: some $x in (1, 2) satisfies fn:true() |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| quantExpr-13[+]
X quantExpr-13: some $x in (1, 2) satisfies fn:false() |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| quantExpr-14[+]
X quantExpr-14: some $x in (1, 2) satisfies fn:not($x) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| quantExpr-15[+]
X quantExpr-15: some $x in (1, 2) satisfies $x = 1 or $x = 2 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| quantExpr-16[+]
X quantExpr-16: some $x in (1, 2) satisfies $x = 1 and ($x +1) = 2 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| quantExpr-17[+]
X quantExpr-17: some $x in ("A","B","C") satisfies $x = "A" |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| quantExpr-18[+]
X quantExpr-18: some $x in (1,2,3), $y in (4,5,6) satisfies $x + $y = 5 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| quantexpr-19[+]
X quantexpr-19: some $x in (1,2,3), $y in (4,5,6) satisfies $x - $y = 5 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| quantExpr-20[+]
X quantExpr-20: some $x in (1,2,3), $y in (4,5,6) satisfies $x * $y = 10 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| quantExpr-21[+]
X quantExpr-21: some $x in (1,2,3), $y in (4,5,6) satisfies $x div $y = 2 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| quantExpr-22[+]
X quantExpr-22: some $x in (1,2,3), $y in (4,5,6) satisfies $x idiv $y = 2 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| quantExpr-23[+]
X quantExpr-23: some $x in (1,2,3), $y in (4,5,6) satisfies fn:string($x) = fn:string($y) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| quantExpr-24[+]
X quantExpr-24: some $x in (1,2,3), $y in (4,5,6) satisfies xs:integer($x) = xs:integer($y) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| quantExpr-25[+]
X quantExpr-25: some $x in (1,2,3), $y in (4,5,6) satisfies xs:decimal($x) = xs:decimal($y) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| quantExpr-26[+]
X quantExpr-26: some $x in (1,2,3), $y in (4,5,6) satisfies xs:float($x) = xs:float($y) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| quantExpr-27[+]
X quantExpr-27: some $x in (1,2,3), $y in (4,5,6) satisfies xs:double($x) = xs:double($y) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| quantExpr-28[+]
X quantExpr-28: some $x in ("true", "false"), $y in ("false","true") satisfies xs:boolean($x) = xs:boolean($y) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| quantExpr-29[+]
X quantExpr-29: some $x in ("1980-05-05T13:13:13Z", "1980-05-05T13:13:13Z"), $y in ("1980-05-05T13:13:13Z","1980-05-05T13:13:13Z") satisfies xs:dateTime($x) = xs:dateTime($y) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| quantExpr-30[+]
X quantExpr-30: some $x in ("1985-07-05Z", "1985-07-05Z"), $y in ("1985-07-05Z","1985-07-05Z") satisfies xs:date($x) = xs:date($y) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| quantexpr-31[+]
X quantexpr-31: every $x in (1, 2) satisfies $x + $x = 3 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| quantexpr-32[+]
X quantexpr-32: every $x in (1, 1) satisfies $x + $x = 2 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| quantExpr-33[+]
X quantExpr-33: every $x in (1, 2) satisfies $x - 2 = 2 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| quantexpr-34[+]
X quantexpr-34: every $x in (2, 2) satisfies $x - 2 = 0 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| quantexpr-35[+]
X quantexpr-35: every $x in (1, 2) satisfies $x * 2 = 4 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| quantexpr-36[+]
X quantexpr-36: every $x in (1, 2) satisfies $x div 2 = 1 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| quantexpr-37[+]
X quantexpr-37: every $x in (1, 2) satisfies $x idiv 2 = 1 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| quantexpr-38[+]
X quantexpr-38: every $x in (1, 2) satisfies fn:avg(($x, 1)) = 1 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| quantexpr-39[+]
X quantexpr-39: every $x in (1, 2) satisfies fn:string($x) = "1" |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| quantexpr-40[+]
X quantexpr-40: every $x in (1, 2) satisfies fn:string-length(xs:string($x)) = 1 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| quantexpr-41[+]
X quantexpr-41: every $x in (1, 2) satisfies fn:count(($x)) = 1 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| quantexpr-42[+]
X quantexpr-42: every $x in (1, 2) satisfies fn:true() |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| quantexpr-43[+]
X quantexpr-43: some $x in (1, 2) satisfies fn:false() |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| quantexpr-44[+]
X quantexpr-44: every $x in (1, 2) satisfies fn:not($x) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| quantexpr-45[+]
X quantexpr-45: every $x in (1, 2) satisfies $x = 1 or $x = 2 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| quantexpr-46[+]
X quantexpr-46: every $x in (1, 2) satisfies $x = 1 and ($x +1) = 2 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| quantexpr-47[+]
X quantexpr-47: every $x in ("A","B","C") satisfies $x = "A" |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| quantexpr-48[+]
X quantexpr-48: every $x in (1,2,3), $y in (4,5,6) satisfies $x + $y = 5 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| quantexpr-49[+]
X quantexpr-49: every $x in (1,2,3), $y in (4,5,6) satisfies $x - $y = 5 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| quantexpr-50[+]
X quantexpr-50: every $x in (1,2,3), $y in (4,5,6) satisfies $x * $y = 10 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| quantexpr-51[+]
X quantexpr-51: every $x in (1,2,3), $y in (4,5,6) satisfies $x div $y = 2 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| quantexpr-52[+]
X quantexpr-52: every $x in (1,2,3), $y in (4,5,6) satisfies $x idiv $y = 2 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| quantexpr-53[+]
X quantexpr-53: every $x in (1,2,3), $y in (4,5,6) satisfies fn:string($x) = fn:string($y) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| quantexpr-54[+]
X quantexpr-54: every $x in (1,2,3), $y in (4,5,6) satisfies xs:integer($x) = xs:integer($y) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| quantexpr-55[+]
X quantexpr-55: every $x in (1,2,3), $y in (4,5,6) satisfies xs:decimal($x) = xs:decimal($y) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| quantexpr-56[+]
X quantexpr-56: every $x in (1,2,3), $y in (4,5,6) satisfies xs:float($x) = xs:float($y) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| quantexpr-57[+]
X quantexpr-57: every $x in (1,2,3), $y in (4,5,6) satisfies xs:double($x) = xs:double($y) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| quantexpr-58[+]
X quantexpr-58: every $x in ("true", "false"), $y in ("false","true") satisfies xs:boolean($x) = xs:boolean($y) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| quantexpr-59[+]
X quantexpr-59: every $x in ("1980-05-05T13:13:13Z", "1980-05-05T13:13:13Z"), $y in ("1980-05-05T13:13:13Z","1980-05-05T13:13:13Z") satisfies xs:dateTime($x) = xs:dateTime($y) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| quantExpr-60[+]
X quantExpr-60: every $x in ("1985-07-05Z", "1985-07-05Z"), $y in ("1985-07-05Z","1985-07-05Z") satisfies xs:date($x) = xs:date($y) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| quantexpr-61[+]
X quantexpr-61: some $x as xs:integer in (1, 2, 3) , $y as xs:integer in (2, 3, 4) satisfies $x + $y = 4 |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| quantexpr-62[+]
X quantexpr-62: some $x as xs:string in ("cat","dog","rat") satisfies fn:string-length($x) = 3 |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| quantexpr-63[+]
X quantexpr-63: every $x as xs:string in ("cat","dog","rat") satisfies fn:string-length($x) = 3 |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| quantexpr-64[+]
X quantexpr-64: every $x as xs:string in ("cat","dog","rat"), $y as xs:integer in (3, 3, 3) satisfies fn:string-length($x) = $y |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| quantexpr-65[+]
X quantexpr-65: some $x as xs:integer in (1, 2, 3), $y as xs:float in (xs:float(2), xs:float(3)) satisfies $x + $y = 5 |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-QuantExprWithout-1[+]
X K-QuantExprWithout-1: some $foo in 1 satisfies QName("example.com/", "ncname") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-2[+]
X K-QuantExprWithout-2: every $foo in 1 satisfies QName("example.com/", "ncname") |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-3[+]
X K-QuantExprWithout-3: some $foo in 1 satisfies $foo eq "1" |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-4[+]
X K-QuantExprWithout-4: every $foo in 1 satisfies $foo eq "1" |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-5[+]
X K-QuantExprWithout-5: some $i in (0, 2, 3) satisfies count($i) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-6[+]
X K-QuantExprWithout-6: every $i in (1, 2, 3) satisfies count($i) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-7[+]
X K-QuantExprWithout-7: some $i in subsequence((0, 1, 2, current-time()), 1, 3) satisfies boolean($i treat as xs:integer) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-8[+]
X K-QuantExprWithout-8: every $i in subsequence((1, 2, 3, current-time()), 1, 3) satisfies boolean($i treat as xs:integer) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-9[+]
X K-QuantExprWithout-9: every $i in () satisfies $i |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-10[+]
X K-QuantExprWithout-10: not(some $i in () satisfies $i) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-11[+]
X K-QuantExprWithout-11: some $foo in 1 satisfies true() |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-12[+]
X K-QuantExprWithout-12: every $foo in 1 satisfies true() |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-13[+]
X K-QuantExprWithout-13: not(some $foo in 1 satisfies false()) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-14[+]
X K-QuantExprWithout-14: not(every $foo in 1 satisfies false()) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-15[+]
X K-QuantExprWithout-15: some $foo in 1 satisfies 1 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-16[+]
X K-QuantExprWithout-16: every $foo in 1 satisfies 1 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-17[+]
X K-QuantExprWithout-17: some $foo in 1 satisfies "a string" |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-18[+]
X K-QuantExprWithout-18: every $foo in 1 satisfies "a string" |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-19[+]
X K-QuantExprWithout-19: every $var in (true(), true(), true()) satisfies $var |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-20[+]
X K-QuantExprWithout-20: not(every $var in (true(), false(), true()) satisfies $var) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-21[+]
X K-QuantExprWithout-21: not(every $var in (false(), true(), true()) satisfies $var) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-22[+]
X K-QuantExprWithout-22: not(every $var in (true(), true(), false()) satisfies $var) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-23[+]
X K-QuantExprWithout-23: some $var in (true(), true(), true()) satisfies $var |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-24[+]
X K-QuantExprWithout-24: some $var in (true(), false(), true()) satisfies $var |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-25[+]
X K-QuantExprWithout-25: some $var in (false(), true(), true()) satisfies $var |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-26[+]
X K-QuantExprWithout-26: some $var in (true(), true(), false()) satisfies $var |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-27[+]
X K-QuantExprWithout-27: not(some $var in (false(), false(), false()) satisfies $var) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-28[+]
X K-QuantExprWithout-28: every $var in (xs:hexBinary("FF"), true(), true()) satisfies $var |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-29[+]
X K-QuantExprWithout-29: every $var in (true(), xs:hexBinary("FF"), true()) satisfies $var |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-30[+]
X K-QuantExprWithout-30: every $var in (true(), true(), xs:hexBinary("FF")) satisfies $var |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-31[+]
X K-QuantExprWithout-31: some $var in (xs:hexBinary("FF"), false(), true()) satisfies $var |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-32[+]
X K-QuantExprWithout-32: some $var in (false(), xs:hexBinary("FF"), true()) satisfies $var |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-33[+]
X K-QuantExprWithout-33: some $var in (true(), true(), xs:hexBinary("FF")) satisfies $var |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-34[+]
X K-QuantExprWithout-34: not(every $var in (false(), true(), true()) satisfies $var) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-35[+]
X K-QuantExprWithout-35: not(every $var in (true(), false(), true()) satisfies $var) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-36[+]
X K-QuantExprWithout-36: not(every $var in (true(), true(), false()) satisfies $var) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-37[+]
X K-QuantExprWithout-37: some $var in (true(), true(), true()) satisfies $var |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-38[+]
X K-QuantExprWithout-38: some $var in (true(), false(), true()) satisfies $var |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-39[+]
X K-QuantExprWithout-39: some $var in (false(), true(), true()) satisfies $var |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-40[+]
X K-QuantExprWithout-40: some $var in (true(), true(), false()) satisfies $var |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-41[+]
X K-QuantExprWithout-41: not(some $var in (false(), false(), false()) satisfies $var) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-42[+]
X K-QuantExprWithout-42: declare variable $i := false(); some $i in (true(), true(), true()) satisfies $i |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-QuantExprWithout-43[+]
X K-QuantExprWithout-43: declare variable $i := false(); declare variable $t := false(); some $i in (true(), true()), $t in (true(), true()) satisfies $i eq $t |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-QuantExprWithout-44[+]
X K-QuantExprWithout-44: declare variable $i := false(); declare variable $t := false(); some $i in (true(), true()), $t in (true(), true()) satisfies ($i eq $t) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-QuantExprWithout-45[+]
X K-QuantExprWithout-45: declare variable $i := false(); every $i in (true(), true()) satisfies $i |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-QuantExprWithout-46[+]
X K-QuantExprWithout-46: some $var in (1, 2, 3) satisfies $var eq 3 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-47[+]
X K-QuantExprWithout-47: not(every $var in (1, 2, 3) satisfies $var eq 3) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-48[+]
X K-QuantExprWithout-48: every $var in (1, 2, 3) satisfies $var eq 1 or $var eq 2 or $var eq 3 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-49[+]
X K-QuantExprWithout-49: some $var in (1, 2, 3) satisfies $var eq 1 or $var eq 2 or $var eq 3 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-50[+]
X K-QuantExprWithout-50: some $aaa in (1, 2, 3), $bbb in (3, 2, 1) satisfies $aaa + $bbb eq 4 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-51[+]
X K-QuantExprWithout-51: every $aaa in (3, 3, 3), $bbb in (3, 3, 3) satisfies $aaa + $bbb eq 6 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-52[+]
X K-QuantExprWithout-52: not(every $var in (1, 2, 3) satisfies $var eq 3) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-53[+]
X K-QuantExprWithout-53: some $var in (1, 2, 3) satisfies $var eq 3 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-54[+]
X K-QuantExprWithout-54: true() eq (some $a in 1 satisfies $a) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-55[+]
X K-QuantExprWithout-55: true() eq (every $a in 1 satisfies $a) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-56[+]
X K-QuantExprWithout-56: true() eq (some $fn:name in (1, 2) satisfies $fn:name) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-57[+]
X K-QuantExprWithout-57: true() eq (some $xs:name in (1, 2) satisfies $xs:name) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-58[+]
X K-QuantExprWithout-58: true() eq (every $fn:name in (1, 2) satisfies $fn:name) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-59[+]
X K-QuantExprWithout-59: true() eq (every $xs:name in (1, 2) satisfies $xs:name) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-60[+]
X K-QuantExprWithout-60: some $foo in 1 satisfies $NOTEXIST |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-61[+]
X K-QuantExprWithout-61: every $foo in 1 satisfies $NOTEXIST |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-62[+]
X K-QuantExprWithout-62: some $foo in (1, $foo) satisfies 1 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-63[+]
X K-QuantExprWithout-63: every $foo in (1, $foo) satisfies 1 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-64[+]
X K-QuantExprWithout-64: some $foo in 1 satisfies $bar + (some $bar in 2 satisfies $bar) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-65[+]
X K-QuantExprWithout-65: every $foo in 1 satisfies $bar + (some $bar in 2 satisfies $bar) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-66[+]
X K-QuantExprWithout-66: every $foo in 1 satisfies $bar + (every $bar in 2 satisfies $bar) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-67[+]
X K-QuantExprWithout-67: some $foo in 1 satisfies $bar + (every $bar in 2 satisfies $bar) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-68[+]
X K-QuantExprWithout-68: some $a in (1, 2), $b in (1, 2), $c in (1, 2) satisfies 1, $a |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-69[+]
X K-QuantExprWithout-69: some $a in (1, 2), $b in (1, 2), $c in (1, 2) satisfies 1, $b |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-70[+]
X K-QuantExprWithout-70: some $a in (1, 2), $b in (1, 2), $c in (1, 2) satisfies 1, $c |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-71[+]
X K-QuantExprWithout-71: every $a in (1, 2), $b in (1, 2), $c in (1, 2) satisfies 1, $a |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-72[+]
X K-QuantExprWithout-72: every $a in (1, 2), $b in (1, 2), $c in (1, 2) satisfies 1, $b |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-73[+]
X K-QuantExprWithout-73: every $a in (1, 2), $b in (1, 2), $c in (1, 2) satisfies 1, $c |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-74[+]
X K-QuantExprWithout-74: some $foo in (1, $2) return 1 |
pass | pass | no result | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-75[+]
X K-QuantExprWithout-75: every $foo in (1, $2) return 1 |
pass | pass | no result | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-76[+]
X K-QuantExprWithout-76: some $foo in (1, 2, $foo) satisfies 1 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-77[+]
X K-QuantExprWithout-77: some $foo in (1, $foo, 3) satisfies 1 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-78[+]
X K-QuantExprWithout-78: some $foo in ($foo, 2, 3) satisfies 1 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-79[+]
X K-QuantExprWithout-79: some $foo in $foo satisfies 1 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-80[+]
X K-QuantExprWithout-80: every $foo in (1, 2, $foo) satisfies 1 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-81[+]
X K-QuantExprWithout-81: every $foo in (1, $foo, 3) satisfies 1 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-82[+]
X K-QuantExprWithout-82: every $foo in ($foo, 2, 3) satisfies 1 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-83[+]
X K-QuantExprWithout-83: every $foo in $foo satisfies 1 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-84[+]
X K-QuantExprWithout-84: every $a in 1, $b in $b satisfies 1 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-85[+]
X K-QuantExprWithout-85: some $a in (1, 2, 3), $b in (1, 2, 3, $b) satisfies $a eq $b |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-86[+]
X K-QuantExprWithout-86: every $a in (1, 2, 3), $b in (1, 2, 3, $b) satisfies ($a eq $b) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-87[+]
X K-QuantExprWithout-87: every $a in (1, 2), $b in (1, 2) satisfies 1, $b |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-88[+]
X K-QuantExprWithout-88: some $a in (1, 2), $b in (1, 2) satisfies 1, $b |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-89[+]
X K-QuantExprWithout-89: every $a in (1, 2, 3), $b in ($a, 4) satisfies $b gt 0 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-90[+]
X K-QuantExprWithout-90: some $a in (1, 2, 3), $b in ($a, 4) satisfies $b gt 0 |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-91[+]
X K-QuantExprWithout-91: every $a in (1, 2), $b in $a satisfies $b |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-92[+]
X K-QuantExprWithout-92: some $a in (1, 2), $b in $a satisfies $b |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-93[+]
X K-QuantExprWithout-93: deep-equal((for $a in 1, $b in $a, $c in $a, $d in $c return ($a, $b, $c, $d)), (1, 1, 1, 1)) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-94[+]
X K-QuantExprWithout-94: every $i in (1, 2, 3) satisfies ($i, $i) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-95[+]
X K-QuantExprWithout-95: some $i in (1, 2, 3) satisfies ($i, $i) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-96[+]
X K-QuantExprWithout-96: every $i in (1, 2, 3) satisfies ($i, $i) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-97[+]
X K-QuantExprWithout-97: some $i in (1, 2, 3) satisfies ($i, $i) |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-98[+]
X K-QuantExprWithout-98: some $a at $p in (1, 2) satisfies $a |
pass | pass | no result | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K-QuantExprWithout-99[+]
X K-QuantExprWithout-99: every $a at $p in (1, 2) satisfies $a |
pass | pass | no result | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K2-QuantExprWithout-1[+]
X K2-QuantExprWithout-1: SOME $i in (1, 2, 3) satisfies $i |
pass | pass | no result | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K2-QuantExprWithout-2[+]
X K2-QuantExprWithout-2: EVERY $i in (1, 2, 3) satisfies $i |
pass | pass | no result | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K2-QuantExprWithout-3[+]
X K2-QuantExprWithout-3: <people id=""/>/(some $id in @id satisfies true()) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K2-QuantExprWithout-4[+]
X K2-QuantExprWithout-4: some $id in attribute::id satisfies $id |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| K2-QuantExprWithout-5[+]
X K2-QuantExprWithout-5: <e/>/(some $v in self::node() satisfies $v) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K2-QuantExprWithout-6[+]
X K2-QuantExprWithout-6: <e/>/(every $v in self::node() satisfies $v) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K2-QuantExprWithout-7[+]
X K2-QuantExprWithout-7: <e/>/(every $b in 1, $v in self::node() satisfies $v) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K2-QuantExprWithout-8[+]
X K2-QuantExprWithout-8: <e/>/(some $b in 1, $v in self::node() satisfies $v) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K2-QuantExprWithout-9[+]
X K2-QuantExprWithout-9: let $firstSeq := (<a/>, <b/>, <e><c/></e>) let $secondSeq := (<a attr=""/>, <b>text</b>, <e><c/></e>) return some $i in $firstSeq satisfies $secondSeq[deep-equal(.,$i)] |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-QuantExprWith-1[+]
X K-QuantExprWith-1: every $a as item()* in (1, 2), $b as item()* in $a satisfies $b |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-QuantExprWith-2[+]
X K-QuantExprWith-2: some $a as item()* in (1, 2), $b as item()* in $a satisfies $b |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-QuantExprWith-3[+]
X K-QuantExprWith-3: every $a as item()? in (1, 2), $b as item()? in $a satisfies $b |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-QuantExprWith-4[+]
X K-QuantExprWith-4: some $a as item()? in (1, 2), $b as item()? in $a satisfies $b |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-QuantExprWith-5[+]
X K-QuantExprWith-5: every $a as item()+ in (1, 2), $b as item()+ in $a satisfies $b |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-QuantExprWith-6[+]
X K-QuantExprWith-6: some $a as item()+ in (1, 2), $b as item()+ in $a satisfies $b |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-QuantExprWith-7[+]
X K-QuantExprWith-7: every $a as empty-sequence()? in (1, 2) satisfies $a |
pass | pass | no result | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-QuantExprWith-8[+]
X K-QuantExprWith-8: some $a as empty-sequence()? in (1, 2) satisfies $a |
pass | pass | no result | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-QuantExprWith-9[+]
X K-QuantExprWith-9: some $a as xs:anyURI in 1 satisfies count($a) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-QuantExprWith-10[+]
X K-QuantExprWith-10: every $a as xs:anyURI in 1 satisfies count($a) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-QuantExprWith-11[+]
X K-QuantExprWith-11: every $a as empty-sequence() in (1, 2), $b as xs:integer in $a satisfies $b |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-QuantExprWith-12[+]
X K-QuantExprWith-12: some $a as empty-sequence() in (1, 2), $b as xs:integer in $a satisfies $b |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-QuantExprWith-13[+]
X K-QuantExprWith-13: every $a as xs:integer+ in (1, 2), $b as xs:string* in $a satisfies $b |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-QuantExprWith-14[+]
X K-QuantExprWith-14: some $a as xs:integer+ in (1, 2), $b as xs:string* in $a satisfies $b |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-QuantExprWith-15[+]
X K-QuantExprWith-15: some $a as item()* in (1, 2), $b as xs:string in $a satisfies $b |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-QuantExprWith-16[+]
X K-QuantExprWith-16: every $a as item()* in (1, 2), $b as xs:string in $a satisfies $b |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-QuantExprWith-17[+]
X K-QuantExprWith-17: every $a as xs:integer+ in (1, 2), $b as xs:integer in $a satisfies $b |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-QuantExprWith-18[+]
X K-QuantExprWith-18: every $a as item()* in (1, 2), $b as xs:integer in $a satisfies $b |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-QuantExprWith-19[+]
X K-QuantExprWith-19: some $a as item() at $p in (1, 2) satisfies $a |
pass | pass | no result | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-QuantExprWith-20[+]
X K-QuantExprWith-20: every $a as item() at $p in (1, 2) satisfies $a |
pass | pass | no result | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-QuantExprWith-21[+]
X K-QuantExprWith-21: every $a as empty-sequence() in (), $b as xs:integer in $a satisfies $b |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-QuantExprWith-22[+]
X K-QuantExprWith-22: not(some $a as empty-sequence() in (), $b as xs:integer in $a satisfies $b) |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-QuantExprWith-23[+]
X K-QuantExprWith-23: every $a as xs:integer in (1, 2), $b as xs:integer in $a satisfies $b |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| K-QuantExprWith-24[+]
X K-QuantExprWith-24: some $a as xs:integer in (1, 2), $b as xs:integer in $a satisfies $b |
pass | pass | pass | n/a
notXP20 |
pass | n/a
notXP30 |
pass | n/a | pass | pass | n/a | pass | pass | pass | pass | |
| cbcl-every-001[+]
X cbcl-every-001: every $x in (1 to 10)[. div 2 = 11] satisfies false() |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| cbcl-some-001[+]
X cbcl-some-001: some $x in (1 to 10)[. div 2 = 11] satisfies true() |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |
| cbcl-every-002[+]
X cbcl-every-002: every $x in (1 to 10)[. mod 2 = 0] satisfies true() |
pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | pass | |