A : B *common* X.
L : B.
B = <x> K.
X = .
K = W.
P : Q.
Q : E.
E : P.
W = <v1> String <v2> X.
J = <v> List(X) <v> Bar_List(K).

List(S) ~ {S}.