P -> O 'x' O 'z'

O -> 'y'
O -> ''