A couple strolls arm and arm and hand in hand down a city sidewalk.
The couple is having dinner at a restaurant.
If the couple strolls, they must not be having dinner at a restaurant.
exists e1 x1 x2 x3 x4 x5 x6 x7 x8 x9.(in(e1,x7) & down(x7,x8) & n_sidewalk(x8) & of(x8,x9) & n_city(x9) & n_hand(x7) & Theme(e1,x2) & Actor(e1,x1) & v_stroll(e1) & n_hand(x6) & n_arm(x5) & subset_of(x6,x4) & subset_of(x5,x4) & n_arm(x3) & subset_of(x4,x2) & subset_of(x3,x2) & n_couple(x1))
exists e1 x1 x2 x3.(n_couple(x1) & Theme(e1,x2) & Actor(e1,x1) & v_have(e1) & at(x2,x3) & n_restaurant(x3) & n_dinner(x2))