a man jumping from one large rock to the next
The man is swimming in the lake
It's not possible to be swimming while jumping from one large rock to the next.
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 e1 x1 x2.(n_lake(x2) & n_man(x1) & in(e1,x2) & Actor(e1,x1) & v_swim(e1))