S -> A.$a:r|s D.$a
A.$a -> B.$a C.$a
