a dog jumps over another dog as both animals are trying to catch the same ball.
The dogs are playing together.
Trying to catch the same ball does not mean the dogs are playing, nor does it mean they are together.
exists e1 p1 s1 x1 x2 x3 x4.(n_ball(x4) & a_same(s1) & Theme(s1,x4) & n_animal(x3) & exists e2 p2.(Topic(e2,p2) & Actor(e2,x3) & v_try(e2) & exists e3.(Theme(e3,x4) & Actor(e3,x3) & v_catch(e3))) & as(e1,p1) & over(e1,x2) & n_dog(x2) & -(x2 = x1) & n_dog(x1) & n_dog(x1) & Actor(e1,x1) & v_jump(e1))
exists e1 s1 x1.(n_dog(x1) & a_together(s1) & Manner(e1,s1) & Actor(e1,x1) & v_play(e1))