(: Name: quantExpr-60 :)
(: Description: Simple quantified expression using "every" keyword, use of multiple variable and the xs:date type  :)

every $x in ("1985-07-05Z", "1985-07-05Z"), $y in ("1985-07-05Z","1985-07-05Z") satisfies xs:date($x) = xs:date($y)