Example = D "x" D1.

D = S List(D).
S = "s".
List(X) ~ "(" {X} ")".

D1 = S [<subtrees> NList(D1)].
NList(X) ~ "(" X {X} ")".

Main = .