s ::= ws grammar ws => "gram"
ws !::= w**
-grammar ::= r $$ ws => "grammar"
+grammar ::= r +/ ws => "grammar"
r ::= word ^"::=" alternatives /ws
| word ^"!::=" alternatives /ws
-alternatives ::= equiAlt $$ (ws ">" ws)
-equiAlt ::= conjuncts $$ (ws "|" ws) => "alternatives"
+alternatives ::= equiAlt +/ (ws ">" ws)
+equiAlt ::= conjuncts +/ (ws "|" ws) => "alternatives"
sequence ::= es
> es ws ^"/" e