a boy jumps into the pool.
The boy was out all day swimming.
Just because the boy jumps in the pool does not mean he was swimming all day.
exists e1 x1 x2.(n_pool(x2) & into(e1,x2) & Actor(e1,x1) & v_jump(e1) & n_boy(x1))
exists p1 x1.(n_boy(x1) & all x3 x2.((n_swimming(x2) & of(x2,x3) & n_day(x3)) -> out(x1,x2)))