(: Name: quantExpr-30 :) | |
(: Description: Simple quantified expression using "some" keyword, use of multiple variable and the xs:date type :) | |
some $x in ("1985-07-05Z", "1985-07-05Z"), $y in ("1985-07-05Z","1985-07-05Z") satisfies xs:date($x) = xs:date($y) |