token A B C token D; start s; s: A B (C ; a: A b: B ; c: C ;