XQuery Quantified Expressions