A baby is looking at a dryer.
A man is looking at a dryer.
A baby is different than a man.
exists e1 x1 x2.(at(e1,x2) & n_dryer(x2) & Actor(e1,x1) & v_look(e1) & n_baby(x1))
exists e1 x1 x2.(at(e1,x2) & n_dryer(x2) & Actor(e1,x1) & v_look(e1) & n_man(x1))