-s ::= w* Grammar w* => "gram"
-ws !::= w*
-grammar ::= R+/ws => "grammar"
-Grammar ::= R+ => "grammar"
-R ::= word ^"::=" Alternatives
- | word ^"!::=" Alternatives
+s ::= ws grammar ws => "gram"
+ws !::= w**
+grammar ::= r $$ ws => "grammar"
+r ::= word ^"::=" alternatives /ws
+ | word ^"!::=" alternatives /ws