a beach with blue and red boats, with people on shore
Vactioners enjoy the blue and red boats.
Not all people on shore are vactioners and enjoy the blue and red boats.
exists s1 s2 x1 x2 x3 x4.(a_topic(x1) & with(x1,x2) & with(x2,x3) & on(x3,x4) & n_shore(x4) & n_people(x3) & n_boat(x2) & a_red(s2) & Theme(s2,x2) & a_blue(s1) & Theme(s1,x2) & n_beach(x1))
exists e1 s1 s2 x1 x2.(n_boat(x2) & a_red(s2) & Theme(s2,x2) & a_blue(s1) & Theme(s1,x2) & Theme(e1,x2) & Actor(e1,x1) & v_enjoy(e1) & n_vactioner(x1))