Children getting splashed with water.
None of the children are wet.
When children are getting splashed with water, it can not be true that none of the children are wet.
exists e1 p1 x1.(ne_nam_children(x1) & exists e2 x2.(with(e2,x2) & n_water(x2) & Theme(e2,x1) & v_splash(e2)) & Topic(e1,p1) & Actor(e1,x1) & v_get(e1))
exists s1 x1 x2.(n_child(x2) & Theme(s1,x1) & a_wet(s1) & of(x1,x2) & n_none(x1))