A woman is jumping really high while in the middle of a ruins ares, with beautiful mountaintops in the distance.
The woman is jumping for joy at the sight of the mountains.
Jumping high does not imply joy. The presence of mountains does not imply they are in sight.
exists e1 p1 s1 x1 x2 x3 x4 x5 x6.(n_distance(x6) & n_middle(x2) & in(e1,x2) & of(x2,x3) & with(x3,x5) & in(x5,x6) & n_mountaintop(x5) & a_beautiful(s1) & Theme(s1,x5) & n_are(x3) & of(x3,x4) & n_ruin(x4) & r_while(e1) & exists s2.(r_really(s2) & Theme(s2,x1) & a_high(s2)) & Topic(e1,p1) & Actor(e1,x1) & v_jump(e1) & n_woman(x1))
exists e1 x1 x2 x3 x4.(n_mountain(x4) & n_sight(x3) & n_woman(x1) & at(e1,x3) & of(x3,x4) & for(e1,x2) & n_joy(x2) & Actor(e1,x1) & v_jump(e1))