code: private void parseQuantifiedExpr() throws TTXPathException {
  
          // identify quantifier type
          final boolean isSome = is("some", true);
          if (!isSome) {
              consume("every", true);
          }
  
          // count number of variables
          int varNo = 0;
  
          do {
  
              // parse variable name
              consume(TokenType.DOLLAR, true);
              final String varName = parseVarName();
              consume("in", true);
              varNo++;
  
              parseExprSingle();
              mPipeBuilder.addVariableExpr(getTransaction(), varName);
  
          } while (is(TokenType.COMMA, true));
  
          // parse satisfies expression
          consume("satisfies", true);
  
          parseExprSingle();
  
          mPipeBuilder.addQuantifierExpr(getTransaction(), isSome, varNo);
  
      }
docs: Parses the the rule QuantifiedExpr according to the following production
  rule:
  <p>
  [6] QuantifiedExpr ::= (<"some" "$"> | <"every" "$">) VarName "in" ExprSingle ("," "$" VarName "in"
  ExprSingle)* "satisfies" ExprSingle .
  </p>
  
  @throws TTXPathException