Specification of test condition with "some ... in ... satisfies ..." or "every ... in ... satisfies ..."

      <xsl:stylesheet
                  xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
                  version="2.0">
            <xsl:output  method="xml"
                        indent="yes"
                        omit-xml-declaration="yes"/>

            <xsl:template  match="/aaa">
                  <xxx>
                        <xsl:value-of  select="if (some $a in bbb satisfies $a[@z]) then 1 else 0"/>
                  </xxx>
                  <yyy>
                        <xsl:value-of  select="if (every $a in bbb satisfies $a[@z]) then 1 else 0"/>
                  </yyy>
            </xsl:template>

      </xsl:stylesheet>

      <aaa>
            <bbb/>
            <bbb  z="1"/>
            <bbb/>
      </aaa>

      <xxx>1</xxx>
      <yyy>0</yyy>