start ::= <<x[A]>> <<x[B]>>

x[A] ::= a
x[B] ::= b
x[C] ::= c

// output: a b
