[xquery-talk] arities in variable binding in quantified expressions

[Mario Arduini]

Dear all,

Why variable binding in quantified expressions allows for arities?
Since they are elements of a sequence, which by definition is flat, they 
will necessarly have arity '1'

(e.g. why can we write the 'integer+' part in 'some $a as integer+ in 
(1,2) satisfies $a < 8')

Maybe I am missing some corner case.

Thank you in advance for any reply,
kind regards,
Mario