A woman is shopping in the night street market.
The woman is near the market
She cannot both be shopping in the market and near the market at the same time.
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_market(x2) & n_woman(x1) & near(x1,x2))