A man is sitting on the ground watching people.
The man is washing his dog in the bath tub
The man cannot be in the tub and on the ground at the same time.
exists e1 e2 x1 x2 x3.(n_ground(x2) & for(e1,e2) & Theme(e2,x3) & Actor(e2,x1) & v_watch(e2) & n_people(x3) & on(e1,x2) & Actor(e1,x1) & v_sit(e1) & n_man(x1))
exists e1 x1 x2 x3 x4.(n_tub(x3) & of(x3,x4) & n_bath(x4) & n_dog(x2) & of(x2,x1) & n_male(x1) & n_man(x1) & Theme(e1,x2) & Actor(e1,x1) & v_wash(e1) & in(x2,x3))