(: Name: quantExpr-29 :)
(: Description: Simple quantified expression using "some" keyword, use of multiple variable and the xs:dateTime type  :)

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)