existenční kvantifikátor
some $
proměnná
in posloupnost
satisfies podmínka
všeobecný kvantifikátor
every $
proměnná
in posloupnost
satisfies podmínka
pro podmínku se nemění kontextová položka, proto se zde obvykle odvoláváme na proměnnou
příklad – výpis prvočísel
for $i in (2 to 100) return if (every $j in (2 to $i - 1) satisfies $i mod $j ne 0) then $i else ()