Three people are surfing and splashing in some water.
There is no water.
Three people couldn't have been surfing and splashing in some water if there is no water.
exists e2 e1 x1 x2 x3 x4.(in(e2,x4) & n_water(x4) & Actor(e2,x3) & v_splash(e2) & n_people(x3) & card_eq_3(x3) & Theme(e1,x2) & Actor(e1,x1) & v_surf(e1) & n_water(x2) & n_people(x1) & card_eq_3(x1))
exists p1 x1.-exists x2.((x1 = x2) & n_water(x2))