A black lav runs into the water on the beach, with swimmers in the distance and sea kelp in the foreground.
Nobody is in the water.
If nobody is in the water then there cannot be a black lab that runs into the water.
exists e1 s1 x1 x2 x3 x4 x5 x6 x7 x8 x9.(n_foreground(x9) & n_distance(x6) & n_beach(x3) & n_water(x2) & with(e1,x4) & subset_of(x7,x4) & in(x7,x9) & n_kelp(x7) & of(x7,x8) & n_sea(x8) & subset_of(x5,x4) & in(x5,x6) & n_swimmer(x5) & on(e1,x3) & into(e1,x2) & Actor(e1,x1) & v_run(e1) & n_lav(x1) & a_black(s1) & Theme(s1,x1))
exists x2.(n_water(x2) & -exists p1 x1.(in(x1,x2) & n_person(x1)))