Two gray dogs jump at each other over the tall grass.
Two gray dogs jump towards each other.
Jump at means the same as jump towards
exists e1 s1 s2 x1 x3.(n_grass(x3) & a_tall(s2) & Theme(s2,x3) & all x2.(n_other(x2) -> (over(e1,x3) & at(e1,x2))) & Actor(e1,x1) & v_jump(e1) & n_dog(x1) & a_gray(s1) & Theme(s1,x1) & card_eq_2(x1))
exists e1 s1 x1.(all x2.(n_other(x2) -> towards(e1,x2)) & Actor(e1,x1) & v_jump(e1) & n_dog(x1) & a_gray(s1) & Theme(s1,x1) & card_eq_2(x1))