| (: Name: extexpr-7 :) | |
| (: Description: An extension expression for which the pragma is ignored and default expression is a quantified expression ("every" operator). :) | |
| declare namespace ns1 = "http://example.org/someweirdnamespace"; | |
| (: insert-start :) | |
| declare variable $input-context1 external; | |
| (: insert-end :) | |
| (# ns1:you-do-not-know-me-as-index #) | |
| {fn:string(every $x in (1,2,3) satisfies $x < 4)} |