A baby playing in the tub.
A baby playing in the water.
In the tub implies in the water.
exists x1 x2 x3.(n_tub(x3) & a_topic(x1) & in(x1,x3) & n_playing(x1) & of(x1,x2) & n_baby(x2))
exists x1 x2 x3.(n_water(x3) & a_topic(x1) & in(x1,x3) & n_playing(x1) & of(x1,x2) & n_baby(x2))