Here is a picture of a man kissing his wife at a park and his wife is taking a picture of them kissing.
The couple are riding an airplane.
The couple cannot be riding an airplane and at the park at the same time.
exists e1 e2 p1 x1 x2 x3.(for(e1,e2) & Actor(e2,x2) & v_kiss(e2) & Theme(e1,x3) & Actor(e1,x2) & v_take(e1) & of(x3,x1) & n_thing(x1) & n_picture(x3) & n_wife(x2) & n_wife(x2) & of(x2,x1) & n_male(x1) & n_male(x1) & exists e3 x4 x5 x6 x7.((x1 = x4) & of(x4,x5) & at(e3,x7) & n_park(x7) & Theme(e3,x2) & Actor(e3,x6) & v_kiss(e3) & (x5 = x6) & n_man(x5) & n_picture(x4)) & n_here(x1))
exists e1 x1 x2.(n_couple(x1) & Theme(e1,x2) & Actor(e1,x1) & v_ride(e1) & n_airplane(x2))