Old lady crosses the street in the city.
The lady walking her dog in the woods.
One can not be both in the city and in the woods.
exists e1 s1 x1 x2 x3.(n_city(x3) & n_street(x2) & in(e1,x3) & Theme(e1,x2) & Actor(e1,x1) & v_cross(e1) & n_lady(x1) & a_old(s1) & Theme(s1,x1))
exists e1 x1 x2 x3 x4.(n_wood(x4) & n_dog(x3) & of(x3,x1) & n_female(x1) & n_lady(x1) & a_topic(x1) & in(e1,x4) & Theme(e1,x3) & Actor(e1,x2) & v_walk(e1) & (x1 = x2))