The couple is together looking at the large ship in the ocean.
The couple are in different cities, wishing they were at the beach.
The couple cannot be together and in different cities at the same time.
exists e1 s1 s2 x1 x2 x3.(n_ocean(x3) & n_ship(x2) & a_large(s1) & Theme(s1,x2) & n_couple(x1) & a_together(s2) & Manner(e1,s2) & at(e1,x2) & in(x2,x3) & Actor(e1,x1) & v_look(e1))
exists e1 p1 p2 x1 x3 x4.(n_beach(x4) & n_thing(x3) & n_city(x3) & n_couple(x1) & for(p1,e1) & exists p3.at(x3,x4) & Topic(e1,p2) & Actor(e1,x1) & v_wish(e1) & exists x2.(in(x1,x2) & -(x2 = x3) & n_city(x2)))