%start G %% G: (A | B) { B | C { D | E } }; A: "a"; B: "b"; C: "c"; D: "d"; E: "e";