a dog jumps over a fence, while two other dogs watch.
The dogs are playing in the park.
Only one dogs jumps so not all the dogs are playing.
exists e1 e2 x1 x2 x3 x4 x5.(Theme(e2,x5) & Actor(e2,x1) & v_watch(e2) & n_thing(x5) & while(e1,x4) & -(x4 = x1) & n_dog(x1) & n_dog(x1) & n_dog(x4) & card_eq_2(x4) & over(e1,x3) & n_fence(x3) & Actor(e1,x2) & v_jump(e1) & (x1 = x2))
exists e1 x1 x2.(n_park(x2) & n_dog(x1) & in(e1,x2) & Actor(e1,x1) & v_play(e1))