Xquery XML

File: Query.xquery
some $i in (1 to 3), $j in (10, 11)
  satisfies $j - $i = 7
Output:
true