s -> y x3
s -> x1 z
s -> y z
y -> x1 x2
z -> x2 x3
x1 -> 'w1'
x2 -> 'w2'
x3 -> 'w3'