A man jumps into the air.
The man is walking past a supermarket.
Jumps and walking are different.
exists e1 x1 x2.(n_air(x2) & into(e1,x2) & Actor(e1,x1) & v_jump(e1) & n_man(x1))
exists e1 x1 x2.(n_man(x1) & past(e1,x2) & n_supermarket(x2) & Actor(e1,x1) & v_walk(e1))