A little girl is smearing shaving cream in a man's hair.
No one has shaving cream.
Because the little girl is smearing shaving cream, you can't say that no one has it. The little girl has it.
exists e1 p1 s1 x1.(exists e2 x2 x3 x4.(in(e2,x4) & n_hair(x4) & of(x4,x3) & n_man(x3) & Theme(e2,x2) & Actor(e2,x1) & v_shave(e2) & n_cream(x2)) & Topic(e1,p1) & Actor(e1,x1) & v_smear(e1) & n_girl(x1) & a_little(s1) & Theme(s1,x1))
-exists e1 e2 x1 x2.(Theme(e2,x2) & Actor(e2,x1) & v_have(e2) & n_cream(x2) & Actor(e1,x2) & v_shave(e1) & n_one(x1))