return $c
(: the where expression is rewritten to a predicate :)
let $b := 2
for $a in 1 to 5[. > 3]
return $a + 2
(: the for clause is and return clauses are merged into return clause and rewritten to a simple map :)
(1 to 5)[. > 3] ! (. + 2)
</syntaxhighlight>