Two puppies wrestle with each other
The two animals are dogs.
puppies are animals.
exists e1 x1.(all x2.(n_other(x2) -> with(e1,x2)) & Actor(e1,x1) & v_wrestle(e1) & n_puppy(x1) & card_eq_2(x1))
exists p1 x1.(n_animal(x1) & card_eq_2(x1) & exists x2.((x1 = x2) & n_dog(x2)))