A woman is shopping in the night street market.
The woman is in the street.
The woman is either on the street or in the market.
exists p1 x1 x3 x4 x5.(n_market(x3) & of(x3,x5) & n_street(x5) & of(x3,x4) & n_night(x4) & exists x2.((x1 = x2) & in(x2,x3) & n_shopping(x2)) & n_woman(x1))
exists p1 x1 x2.(n_street(x2) & n_woman(x1) & in(x1,x2))