A terrier dog and a mixed breed dog playing.
Two dogs vie for an owners attention.
Playing dogs does not imply they are trying to vie for an owners attention.
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 x1 x2 x3 x4.(a_topic(x1) & for(x1,x3) & n_attention(x3) & of(x3,x4) & n_owner(x4) & n_vie(x1) & of(x1,x2) & n_dog(x2) & card_eq_2(x1))