Several people play and relax on the beach.
Several people are in the water.
It cannot be inferred that the people were in the water.
exists e1 e2 s1 s2 x1 x2 x3.(n_beach(x3) & on(e2,x3) & Actor(e2,x2) & v_relax(e2) & n_people(x2) & a_several(s2) & Theme(s2,x2) & Actor(e1,x1) & v_play(e1) & n_people(x1) & a_several(s1) & Theme(s1,x1))
exists p1 s1 x1 x2.(n_water(x2) & in(x1,x2) & n_people(x1) & a_several(s1) & Theme(s1,x1))