Two dogs are playing and wrestling with each other.
Two cats are chasing each other through the house.
There can either be dogs or cats
exists e2 e1 x1 x2.(all x3.(n_other(x3) -> with(e2,x3)) & Actor(e2,x2) & v_wrestle(e2) & n_dog(x2) & card_eq_2(x2) & Actor(e1,x1) & v_play(e1) & n_dog(x1) & card_eq_2(x1))
exists x1 x3.(n_house(x3) & all x2.(n_other(x2) -> exists e1.(through(e1,x3) & Theme(e1,x2) & Actor(e1,x1) & v_chase(e1))) & n_cat(x1) & card_eq_2(x1))