Several people in a catamaran are struggling with the wind while another boat is nearby.
There is not another boat nearby.
Another boat is different than not another boat.
exists e1 p1 s1 x1 x2 x3 x4.(n_boat(x4) & n_wind(x3) & exists s2 x5.(Theme(s2,x5) & a_nearby(s2) & n_boat(x5) & -(x5 = x4)) & while(e1,p1) & with(e1,x3) & Actor(e1,x1) & v_struggle(e1) & in(x1,x2) & n_catamaran(x2) & n_people(x1) & a_several(s1) & Theme(s1,x1))
exists x1 x2.(n_boat(x2) & -exists p1 s1.(a_nearby(s1) & Manner(p1,s1) & exists x3.((x1 = x3) & n_boat(x3) & -(x3 = x2))))