A man with a beard checks his cellphone while a lady looks on.
The lady is not looking at the man.
A man with a beard is a type of man.
(x)
exists x1 x2.(n_man(x2) & n_lady(x1) & -exists e1.(at(e1,x2) & Actor(e1,x1) & v_look(e1)))