A large brown dog has his noce on the back of a small black dog.
A dog is smelling another dog.
Just because one dog's nose is on the back of the other doesn't mean he is smelling him.
exists e1 s1 s2 s3 s4 x1 x2 x3 x4.(n_back(x3) & Theme(e1,x2) & Actor(e1,x1) & v_have(e1) & on(x2,x3) & of(x3,x4) & n_dog(x4) & a_black(s4) & Theme(s4,x4) & a_small(s3) & Theme(s3,x4) & n_noce(x2) & of(x2,x1) & n_male(x1) & n_dog(x1) & a_brown(s2) & Theme(s2,x1) & a_large(s1) & Theme(s1,x1))
exists e1 x1 x2.(Theme(e1,x2) & Actor(e1,x1) & v_smell(e1) & n_dog(x2) & -(x2 = x1) & n_dog(x1) & n_dog(x1))