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