The girl is at the park playing on the jungle gym.
The girl goes to the park every afternoon after school.
the fact that the girl is at the park playing does not imply that she goes every afternoon after school.
exists p1 x1 x2 x3 x4 x5.(n_gym(x4) & of(x4,x5) & n_jungle(x5) & n_playing(x2) & of(x2,x3) & n_park(x3) & n_girl(x1) & at(x1,x2) & on(x2,x4))
exists x2 x3.(n_park(x3) & n_girl(x2) & all x1.(n_afternoon(x1) -> exists e1 x4.(after(e1,x4) & n_school(x4) & Time(e1,x1) & to(e1,x3) & Actor(e1,x2) & v_go(e1))))