Dogs chase each other.
Puppies chase each other
Not all dogs are puppies.
exists x1 x2.(a_topic(x1) & all x3.(n_other(x3) -> exists s1.(Theme(s1,x3) & Actor(s1,x2) & a_chase(s1))) & (x1 = x2) & n_dog(x1))
exists x1 x2.(a_topic(x1) & all x3.(n_other(x3) -> exists s1.(Theme(s1,x3) & Actor(s1,x2) & a_chase(s1))) & (x1 = x2) & n_puppy(x1))