s ::= w* Grammar w* => "gram"
+ws !::= w*
+grammar ::= R+/ws => "grammar"
Grammar ::= R+ => "grammar"
R ::= word ^"::=" Alternatives
| word ^"!::=" Alternatives
Alternatives ::= EquiAlt +/ ">"
EquiAlt ::= Conjuncts +/ "|" => "alternatives"
-Sequence ::= E+
+Sequence ::= E+ ^"/" E
+ > E+
+
Conjuncts ::= Rewrite
| Rewrite ^"&" Sequence
| Rewrite ^"&~" Sequence