X op-boolean-greater-than2args-1:

Created on: 2004-12-13
Spec Dependencies:

Test: xs:boolean("false") gt xs:boolean("false")

 X op-boolean-greater-than2args-2:

Created on: 2004-12-13
Spec Dependencies:

Test: xs:boolean("1") gt xs:boolean("false")

 X op-boolean-greater-than2args-3:

Created on: 2004-12-13
Spec Dependencies:

Test: xs:boolean("0") gt xs:boolean("false")

 X op-boolean-greater-than2args-4:

Created on: 2004-12-13
Spec Dependencies:

Test: xs:boolean("false") gt xs:boolean("1")

 X op-boolean-greater-than2args-5:

Created on: 2004-12-13
Spec Dependencies:

Test: xs:boolean("false") gt xs:boolean("0")

 X op-boolean-greater-than2args-6:

Created on: 2004-12-13
Spec Dependencies:

Test: xs:boolean("false") le xs:boolean("false")

 X op-boolean-greater-than2args-7:

Created on: 2004-12-13
Spec Dependencies:

Test: xs:boolean("1") le xs:boolean("false")

 X op-boolean-greater-than2args-8:

Created on: 2004-12-13
Spec Dependencies:

Test: xs:boolean("0") le xs:boolean("false")

 X op-boolean-greater-than2args-9:

Created on: 2004-12-13
Spec Dependencies:

Test: xs:boolean("false") le xs:boolean("1")

 X op-boolean-greater-than2args-10:

Created on: 2004-12-13
Spec Dependencies:

Test: xs:boolean("false") le xs:boolean("0")

 X op-boolean-greater-than-1:

Created on: 2005-06-16
Spec Dependencies:

Test: fn:not(xs:boolean("true")) gt xs:boolean("true")

 X op-boolean-greater-than-2:

Created on: 2005-06-16
Spec Dependencies:

Test: fn:not(xs:boolean("true")) le xs:boolean("true")

 X op-boolean-greater-than-3:

Created on: 2005-06-16
Spec Dependencies:

Test: fn:not(xs:boolean("true")) gt xs:boolean("false")

 X op-boolean-greater-than-4:

Created on: 2005-06-16
Spec Dependencies:

Test: fn:not(xs:boolean("true")) le xs:boolean("false")

 X op-boolean-greater-than-5:

Created on: 2005-06-16
Spec Dependencies:

Test: fn:not(xs:boolean("false")) gt xs:boolean("true")

 X op-boolean-greater-than-6:

Created on: 2005-06-16
Spec Dependencies:

Test: fn:not(xs:boolean("false")) le xs:boolean("true")

 X op-boolean-greater-than-7:

Created on: 2005-06-16
Spec Dependencies:

Test: fn:not(xs:boolean("false")) gt xs:boolean("false")

 X op-boolean-greater-than-8:

Created on: 2005-06-16
Spec Dependencies:

Test: fn:not(xs:boolean("false")) le xs:boolean("false")

 X op-boolean-greater-than-9:

Created on: 2005-06-16
Spec Dependencies:

Test: (7 eq 7) gt xs:boolean("true")

 X op-boolean-greater-than-10:

Created on: 2005-06-16
Spec Dependencies:

Test: (7 eq 7) le xs:boolean("true")

 X op-boolean-greater-than-11:

Created on: 2005-06-16
Spec Dependencies:

Test: (7 eq 7) gt xs:boolean("false")

 X op-boolean-greater-than-12:

Created on: 2005-06-16
Spec Dependencies:

Test: (7 eq 7) le xs:boolean("false")

 X op-boolean-greater-than-more-args-001:

Created on: 2005-06-30
Spec Dependencies:

Test: xs:boolean("true") gt xs:boolean("true")

 X op-boolean-greater-than-more-args-002:

Created on: 2005-06-30
Spec Dependencies:

Test: xs:boolean("1") gt xs:boolean("true")

 X op-boolean-greater-than-more-args-003:

Created on: 2005-06-30
Spec Dependencies:

Test: xs:boolean("0") gt xs:boolean("true")

 X op-boolean-greater-than-more-args-004:

Created on: 2005-06-30
Spec Dependencies:

Test: xs:boolean("true") gt xs:boolean("1")

 X op-boolean-greater-than-more-args-005:

Created on: 2005-06-30
Spec Dependencies:

Test: xs:boolean("true") gt xs:boolean("0")

 X op-boolean-greater-than-more-args-006:

Created on: 2005-06-30
Spec Dependencies:

Test: xs:boolean("true") gt xs:boolean("false")

 X op-boolean-greater-than-more-args-007:

Created on: 2005-06-30
Spec Dependencies:

Test: xs:boolean("false") gt xs:boolean("true")

 X op-boolean-greater-than-more-args-008:

Created on: 2005-06-30
Spec Dependencies:

Test: xs:boolean("true") le xs:boolean("true")

 X op-boolean-greater-than-more-args-009:

Created on: 2005-06-30
Spec Dependencies:

Test: xs:boolean("1") le xs:boolean("true")

 X op-boolean-greater-than-more-args-010:

Created on: 2005-06-30
Spec Dependencies:

Test: xs:boolean("0") le xs:boolean("true")

 X op-boolean-greater-than-more-args-011:

Created on: 2005-06-30
Spec Dependencies:

Test: xs:boolean("true") le xs:boolean("1")

 X op-boolean-greater-than-more-args-012:

Created on: 2005-06-30
Spec Dependencies:

Test: xs:boolean("true") le xs:boolean("0")

 X op-boolean-greater-than-more-args-013:

Created on: 2005-06-30
Spec Dependencies:

Test: xs:boolean("true") le xs:boolean("false")

 X op-boolean-greater-than-more-args-014:

Created on: 2005-06-30
Spec Dependencies:

Test: xs:boolean("false") le xs:boolean("true")

 X K-BooleanGT-1:

Created on: 2007-11-26+01:00
Spec Dependencies:

Test: true() gt false()

 X K-BooleanGT-2:

Created on: 2007-11-26+01:00
Spec Dependencies:

Test: true() ge false()

 X K-BooleanGT-3:

Created on: 2007-11-26+01:00
Spec Dependencies:

Test: true() ge true()

 X cbcl-boolean-greater-than-001:

Created on: 2008-05-14
Spec Dependencies:
spec = XQ10+

Test: declare function local:is-even($arg as xs:integer) as xs:boolean { (($arg mod 2) eq 0) }; not(local:is-even(15) ge local:is-even(17))

 X cbcl-boolean-greater-than-002:

Created on: 2008-05-14
Spec Dependencies:
spec = XQ10+

Test: declare function local:is-even($arg as xs:integer) as xs:boolean { (($arg mod 2) eq 0) }; fn:true() ge local:is-even(17)

 X cbcl-boolean-greater-than-003:

Created on: 2008-05-14
Spec Dependencies:
spec = XQ10+

Test: declare function local:is-even($arg as xs:integer) as xs:boolean { (($arg mod 2) eq 0) }; fn:false() ge local:is-even(17)

 X cbcl-boolean-greater-than-004:

Created on: 2008-05-14
Spec Dependencies:
spec = XQ10+

Test: declare function local:is-even($arg as xs:integer) as xs:boolean { (($arg mod 2) eq 0) }; not(local:is-even(15) gt local:is-even(17))

 X cbcl-boolean-greater-than-005:

Created on: 2008-05-14
Spec Dependencies:
spec = XQ10+

Test: declare function local:is-even($arg as xs:integer) as xs:boolean { (($arg mod 2) eq 0) }; fn:true() gt local:is-even(17)

 X cbcl-boolean-greater-than-006:

Created on: 2008-05-14
Spec Dependencies:
spec = XQ10+

Test: declare function local:is-even($arg as xs:integer) as xs:boolean { (($arg mod 2) eq 0) }; fn:false() gt local:is-even(17)

 X cbcl-boolean-greater-than-007:

Created on: 2008-05-14
Spec Dependencies:
spec = XQ10+

Test: declare function local:is-even($arg as xs:integer) as xs:boolean { (($arg mod 2) eq 0) }; local:is-even(17) ge fn:true()

 X cbcl-boolean-greater-than-008:

Created on: 2008-05-14
Spec Dependencies:
spec = XQ10+

Test: declare function local:is-even($arg as xs:integer) as xs:boolean { (($arg mod 2) eq 0) }; local:is-even(17) ge fn:false()

 X cbcl-boolean-greater-than-009:

Created on: 2008-05-14
Spec Dependencies:
spec = XQ10+

Test: declare function local:is-even($arg as xs:integer) as xs:boolean { (($arg mod 2) eq 0) }; local:is-even(17) gt fn:true()

 X cbcl-boolean-greater-than-010:

Created on: 2008-05-14
Spec Dependencies:
spec = XQ10+

Test: declare function local:is-even($arg as xs:integer) as xs:boolean { (($arg mod 2) eq 0) }; local:is-even(17) gt fn:false()