A man smiles outdoors.
The man is knocking in the door
Just because the man is smiling outdoors, does not imply that he is knocking in the door.
exists e1 x1 x2.(Theme(e1,x2) & Actor(e1,x1) & v_smile(e1) & n_outdoors(x2) & n_man(x1))
exists e1 x1 x2.(n_door(x2) & n_man(x1) & in(e1,x2) & Actor(e1,x1) & v_knock(e1))