<?xml version="1.0" encoding="iso-8859-1"?>
<?xml-stylesheet href="../make-menu.xsl" type="text/xsl"?><html>
<head>
<this-is section="expressions" page="quantified" subpage=""/>
<!--
Generated at 2011-12-09T20:47:22.916Z--><title>Saxonica: XSLT and XQuery Processing: Quantified Expressions</title>
<meta name="coverage" content="Worldwide"/>
<meta name="copyright" content="Copyright Saxonica Ltd"/>
<meta name="title"
content="Saxonica: XSLT and XQuery Processing: Quantified Expressions"/>
<meta name="robots" content="noindex,nofollow"/>
<link rel="stylesheet" href="../saxondocs.css" type="text/css"/>
</head>
<body class="main">
<h1>Quantified Expressions</h1>
<p>The expression <code>some $x in E1 satisfies E2</code> returns true if there is an item in the
sequence <code>E1</code> for which the <i>effective boolean value</i> of <code>E2</code> is true.
Note that <code>E2</code> must use the range variable <code>$x</code> to refer to the item being
tested; it does not become the context item. For example, <code>some $x in @* satisfies $x eq ""</code>
is true if the context item is an element that has at least one zero-length attribute value.</p>
<p>Similarly, the expression <code>every $x in E1 satisfies E2</code> returns true if every item in the
sequence given by <code>E1</code> satisfies the condition.</p>
<table width="100%">
<tr>
<td>
<p align="right"><a class="nav" href="for.xml">Next</a></p>
</td>
</tr>
</table>
</body>
</html>
