The child is running through a puddle in a street.
the child is playing in the water
child is running through a puddle in a street shows that child is playing in the water
exists e1 x1 x2 x3.(n_child(x1) & in(e1,x3) & n_street(x3) & through(e1,x2) & n_puddle(x2) & Actor(e1,x1) & v_run(e1))
exists e1 x1 x2.(n_water(x2) & n_child(x1) & in(e1,x2) & Actor(e1,x1) & v_play(e1))