The boat has two large masts.
The boat is moving through the ocean thank to the two large masts.
The boat could be docked and not moving nor does it have to be in the ocean.
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 s1 x1 x2 x3 x4.(n_mast(x4) & a_large(s1) & Theme(s1,x4) & card_eq_2(x4) & n_thank(x2) & of(x2,x3) & n_ocean(x3) & n_boat(x1) & through(e1,x2) & to(x2,x4) & Actor(e1,x1) & v_move(e1))