-s ::= w* Grammar w* => "gram"
+s ::= ws grammar ws => "gram"
ws !::= w**
grammar ::= R+/ws => "grammar"
-Grammar ::= R+ => "grammar"
R ::= word ^"::=" Alternatives
| word ^"!::=" Alternatives
sequence ::= Es
> Es ^"/" E /ws
Es ::= E+
+//es ::= E+/ws
Conjuncts ::= rewrite
| rewrite ^"&" sequence