A dog leaps in the air to catch a disc.
The dog never left the ground.
The dog either leaps in the air or the dog never left the ground but not both at the same time.
exists e1 p1 x1 x2 x3.(n_air(x3) & Topic(e1,p1) & exists e2 x4.(Theme(e2,x4) & Actor(e2,x1) & v_catch(e2) & n_disc(x4)) & in(e1,x3) & Actor(e1,x2) & v_leap(e1) & n_dog(x2) & n_dog(x1))
exists e1 s1 x1 x2.(n_ground(x2) & n_dog(x1) & a_never(s1) & Manner(e1,s1) & Theme(e1,x2) & Actor(e1,x1) & v_leave(e1))