A woman talks on her cellphone while standing near a brick wall.
An alien is on her cellphone.
There is a difference between an alien and a woman.
(x)
exists p1 x1 x2.(on(x1,x2) & n_cellphone(x2) & of(x2,x1) & n_female(x1) & n_alien(x1))