<?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>