The boat has two large masts.
The boat has set sail into the ocean
Not all boats are on an ocean, not all boats set sail.
exists e1 s1 x1 x2.(n_boat(x1) & Theme(e1,x2) & Actor(e1,x1) & v_have(e1) & n_mast(x2) & a_large(s1) & Theme(s1,x2) & card_eq_2(x2))
exists e1 x1 x2 x3.(n_ocean(x3) & n_boat(x1) & into(e1,x3) & Theme(e1,x2) & Actor(e1,x1) & v_set(e1) & n_sail(x2))