A' -> A A A A -> a
A,A
a
A,B,C
A,C