expr endofstring expr :- comby [ '|' comby ...] ; comby :- term [ '&' term ...] ; term :- '(' expr ')' | /\w+/ ;