SAXONICA

Saxon Documentation
Full Contents
About Saxon
Changes in this Release
Conditions of Use
Using XSLT 2.0
Using XQuery
Handling Source Documents
XML Schema Processing
The XPath API
Saxon on .NET
Extensibility
Saxon Extensions
Sample Saxon Applications
The Saxon SQL Extension
XSLT Elements
XPath 2.0 Expression Syntax
| Introduction
| Constants
| Variable References
| Function Calls
| Axis steps
| Parentheses and operator precedence
| Filter expressions
| Path expressions
| Cast as, Treat as
| Set difference and intersection
| Union
| Arithmetic expressions
| Range expressions
| Comparisons
| Instance of and Castable as
| Conditional Expressions
» | Quantified Expressions
| For Expressions
| Boolean expressions: AND and OR
| Sequence expressions
Function Library
Standards Conformance

# Quantified Expressions

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, `some $x in @* satisfies $x eq ""` is true if the context item is an element that has at least one zero-length attribute value.

Similarly, the expression `every $x in E1 satisfies E2` returns true if every item in the sequence given by `E1` satisfies the condition.

Next