Re: Alternative definitions for 5.1 (allof) and 5.2 (anyof)

The point of "allof"/"anyof" was to allow prefix operators (i.e.,
"really easy to parse") in place of infix and/or operators (i.e., more
difficult to parse).

I do not want this change, nor do I want two or operators.


Alan, you may wish to note that the wording changes as presented don't
have the necessary changes to the grammar to support them.

-- 
Tim Showalter <tjs+(_at_)andrew(_dot_)cmu(_dot_)edu>