The girl in a pink shirt jumps high over the grass.
The girl is stretching her arms to the sky.
Jumping over the grass does not necessarily imply that the girl is stretching her arms to the sky.
exists e1 p1 s1 x1 x2 x3.(n_grass(x3) & n_girl(x1) & over(e1,x3) & exists s2.(Theme(s2,x1) & a_high(s2)) & Topic(e1,p1) & Actor(e1,x1) & v_jump(e1) & in(x1,x2) & n_shirt(x2) & a_pink(s1) & Theme(s1,x2))
exists e1 x1 x2 x3.(n_sky(x3) & n_arm(x2) & of(x2,x1) & n_female(x1) & n_girl(x1) & to(e1,x3) & Theme(e1,x2) & Actor(e1,x1) & v_stretch(e1))