s
A B
s -> A s B | A B