A terrier dog and a mixed breed dog playing.
Two terriers play.
Two terriers are different than a terrier dog and a mixed breed dog.
exists s1 s2 x1 x2 x3 x4 x5.(a_topic(s1) & subset_of(x3,s1) & n_playing(x3) & of(x3,x5) & n_dog(x5) & of(x3,x4) & n_breed(x4) & a_mixed(s2) & Theme(s2,x3) & subset_of(x1,s1) & n_dog(x1) & of(x1,x2) & n_terrier(x2))
exists s1 x1 x2.(n_play(x1) & a_.(s1) & Theme(s1,x1) & of(x1,x2) & n_terrier(x2) & card_eq_2(x1) & a_topic(x1))