Dog jumps over owner to catch smilely faced Frisbee, while spectators in the park watch
the dog jumps
The dog must be jumping if it is catching the frisbee.
exists e1 p1 p2 x1 x2 x3 x5 x6.(n_watch(x5) & of(x5,x6) & n_park(x6) & ne_per_frisbee(x3) & ne_nam_dog(x1) & Topic(e1,p2) & exists e3 s1.(a_smilely(s1) & Manner(e3,s1) & Actor(e3,x1) & v_catch(e3)) & over(e1,x2) & n_owner(x2) & exists e2 x4.(while(e2,x4) & in(x4,x5) & n_spectator(x4) & Theme(e2,x3) & Actor(e2,x1) & v_face(e2)) & Topic(e1,p1) & Actor(e1,x1) & v_jump(e1))
exists x1 x2.(n_jump(x1) & of(x1,x2) & n_dog(x2) & a_topic(x1))