A man grins and holds up a white coffee cup while sitting near a tree.
A man is drinking chocolate.
You can't infer he is drinking chocolate
(x)
exists e1 x1 x2.(Theme(e1,x2) & Actor(e1,x1) & v_drink(e1) & n_chocolate(x2) & n_man(x1))