r ::= word ^"::=" alternatives /ws
| word ^"!::=" alternatives /ws
alternatives ::= (conjuncts +/ (ws "|" ws)) +/ (ws ">" ws)
r ::= word ^"::=" alternatives /ws
| word ^"!::=" alternatives /ws
alternatives ::= (conjuncts +/ (ws "|" ws)) +/ (ws ">" ws)