A group of people is on a ferry headed toward a city with skyscrapers.
The ferry heads away from the small town.
The ferry can either be heading away from town or toward it, not both.
exists p1 x1 x2.(exists e1 x3 x4 x5 x6.(on(x1,x3) & toward(e1,x5) & with(x5,x6) & n_skyscraper(x6) & n_city(x5) & Theme(e1,x4) & v_head(e1) & (x3 = x4) & n_ferry(x3)) & of(x1,x2) & n_people(x2) & n_group(x1))
exists e1 s1 s2 x1 x2.(n_town(x2) & a_small(s1) & Theme(s1,x2) & n_ferry(x1) & a_away(s2) & Manner(e1,s2) & from(e1,x2) & Actor(e1,x1) & v_head(e1))