A small dog jumps by a car to reach a lady's face while another dog watches.
Two dogs are chasing each other.
Dogs involved in chasing each other can't also do jumps at the lady's face.
exists p1 s1 x1 x2 x3.(a_topic(x1) & Topic(x1,p1) & exists e1 x4 x5 x6 x7 x8.(while(e1,x8) & n_watch(x8) & of(x8,x7) & n_dog(x7) & -(x8 = x6) & n_watch(x6) & of(x6,x7) & Theme(e1,x5) & Actor(e1,x1) & v_reach(e1) & n_face(x5) & of(x5,x4) & n_lady(x4)) & by(x1,x3) & n_car(x3) & n_jump(x1) & of(x1,x2) & n_dog(x2) & a_small(s1) & Theme(s1,x1))
exists x1.(all x2.(n_other(x2) -> exists e1.(Theme(e1,x2) & Actor(e1,x1) & v_chase(e1))) & n_dog(x1) & card_eq_2(x1))