Re: [XPath] Legal vaues for a satisfies expression in a quantifier?

Hi Roger.  I may be misunderstanding your question, but I think the answer 
is that OrExpr recurses down PathExpr.  You can follow the recursion 
basically by clicking on the first member of the right hand side of the 
BNF productions.  This particular cascade is what implements the built-in 
precedence.  Anyway, I believe the BNF to be correct, and the structure, 
dumped from the diagnostics of the test parser, is:

|XPath
|   Expr
|      QuantifiedExpr
|         Every every $
|         VarName part
|         In in
|         PathExpr
|            RootDescendants //
|            StepExpr
|               NodeTest
|                  NameTest
|                     QName part
|         Satisfies satisfies
|         PathExpr
|            VarName part
|            StepExpr
|               At @
|               NodeTest
|                  NameTest
|                     QName discounted

Note that the test parser reduces many of the unneeded steps, for instance 
for ExprSingle to PathExpr, as I think you would for most ASTs.

-scott