A uniformed policeman with a dog.
A policeman is not with a dog.
Not with is different than with.
exists s1 x1 x2.(a_topic(x1) & with(x1,x2) & n_dog(x2) & n_policeman(x1) & a_uniformed(s1) & Theme(s1,x1))
exists x1.(-exists p1 x2.(with(x1,x2) & n_dog(x2)) & n_policeman(x1))