The expression
some $x in E1 satisfies E2 returns true if there is an item in the sequence E1 for which the effective boolean value of E2 is true. Note that E2 must use the range variable
$x to refer to the item being tested; it does not become the context item. For example,
