A := B | B 'x'
B := 'y'