a man jumping from one large rock to the next
The man is at the park
the fact that the man is jumping from rock to rock does not imply that he is at the park.
exists e1 s1 x1 x2 x3 x4.(n_next(x4) & a_topic(x1) & to(e1,x4) & from(e1,x3) & n_rock(x3) & a_large(s1) & Theme(s1,x3) & card_eq_1(x3) & Actor(e1,x2) & v_jump(e1) & (x1 = x2) & n_man(x1))
exists p1 x1 x2.(n_park(x2) & n_man(x1) & at(x1,x2))