The water is very calm.
There is no one around the water.
It is not necessarily true that no one is around the water.
exists s1 x1.(n_water(x1) & r_very(s1) & Theme(s1,x1) & a_calm(s1))
exists p1 x1 x3.(n_water(x3) & -exists x2.((x1 = x2) & around(x2,x3) & n_one(x2)))