Two naked young boys play in the water.
Two naked boys are playing outside.
The boys are playing in the water so they must be outside.
exists e1 s1 s2 x1 x2.(n_water(x2) & in(e1,x2) & Actor(e1,x1) & v_play(e1) & n_boy(x1) & a_young(s2) & Theme(s2,x1) & a_naked(s1) & Theme(s1,x1) & card_eq_2(x1))
exists e1 s1 x1 x2.(Theme(e1,x2) & Actor(e1,x1) & v_play(e1) & n_outside(x2) & n_boy(x1) & a_naked(s1) & Theme(s1,x1) & card_eq_2(x1))