Dog running and jumping high bars.
The dog is jumping high.
High bars are high in the air. The dog is jumping high bars. Therefore the dog is jumping high.
exists e2 e1 s1 x1 x2.(ne_nam_dog(x1) & Theme(e2,x2) & Actor(e2,x1) & v_jump(e2) & n_bar(x2) & a_high(s1) & Theme(s1,x2) & Actor(e1,x1) & v_run(e1))
exists e1 p1 x1.(n_dog(x1) & exists s1.(Theme(s1,x1) & a_high(s1)) & Topic(e1,p1) & Actor(e1,x1) & v_jump(e1))