The large dog watches the small one play with rope.
the dog is asleep
The dog cannot be asleep and watching at the same time.
exists e1 s1 s2 x1 x2 x3.(n_play(x2) & card_eq_1(x2) & a_small(s2) & Theme(s2,x2) & n_dog(x1) & a_large(s1) & Theme(s1,x1) & Theme(e1,x2) & Actor(e1,x1) & v_watch(e1) & with(x2,x3) & n_rope(x3))
exists s1 x1.(n_dog(x1) & Theme(s1,x1) & a_asleep(s1))