S : a S b
S : a b