%%

A: B | B '2'
B: '1' | '1' B