Main = <s> String.
A : B common X.
B = X.
X = .