A brown and white dog walks down a ramp toward a pool of water in which a green tennis ball floats.
Dog jumps in pool with tennis ball floats
It was never inferred that the dog jumped into the pool.
(-x)
exists x1 x2 x3 x4 x5 x6.(a_topic(x1) & with(x1,x4) & n_float(x4) & of(x4,x6) & n_ball(x6) & of(x4,x5) & n_tennis(x5) & in(x1,x3) & n_pool(x3) & n_jump(x1) & (x1 = x2) & ne_nam_dog(x2))