A young girl is leaping in the air, while playing softball.
The young girl can leap very very high.
While the young girl may be able to leap, it is not necessarily true that she can leap very high.
exists e1 e2 s1 x1 x2 x3.(n_air(x2) & while(e1,e2) & Theme(e2,x3) & Actor(e2,x1) & v_play(e2) & n_softball(x3) & in(e1,x2) & Actor(e1,x1) & v_leap(e1) & n_girl(x1) & a_young(s1) & Theme(s1,x1))
exists e1 p1 s1 x1.(n_girl(x1) & a_young(s1) & Theme(s1,x1) & exists e2 p2.(exists s2.(r_very(s2) & r_very(s2) & Theme(s2,x1) & a_high(s2)) & Topic(e2,p2) & Actor(e2,x1) & v_leap(e2)) & Topic(e1,p1) & Actor(e1,x1) & v_can(e1))