Simplified production for FilterExpr in XPath spec?

The production in the XPath spec for FilterExpr is:

    FilterExpr ::= PrimaryExpr | FilterExpr Predicate

It would seem that the following rewritten version would be
much more transparent:

    FilterExpr ::= PrimaryExpr  Predicate*

(A number of other productions, e.g., OrExpr, could be
similarly rewritten.)

Does anyone know why the production was written the way it
was?

Paul Abrahams



 XSL-List info and archive:  http://www.mulberrytech.com/xsl/xsl-list