An outdoor picnic with lots of water bottles and barbecue is taking place.
There is not any water around.
If there are lots of water bottles, there cannot Not be any water around.
exists e1 s1 x1 x2 x3 x4 x5 x6 x7.(Theme(e1,x7) & Actor(e1,x1) & v_take(e1) & n_place(x7) & with(x1,x2) & of(x2,x3) & n_barbecue(x6) & n_bottle(x5) & subset_of(x6,x3) & subset_of(x5,x3) & of(x3,x4) & n_water(x4) & n_lot(x2) & n_picnic(x1) & a_outdoor(s1) & Theme(s1,x1))
exists x1.-exists p1.all x2.(n_water(x2) -> ((x1 = x2) & r_around(x2)))