A man with a baseball cap and black jacket stands in a bathroom while holding a coffee mug.
a man drinks beer from a coffee mug
Although a man is holding a coffee mug, we cannot infer that he is drinking beer out of it.
(-x)
exists x1 x2 x3 x4 x5.(a_topic(x1) & from(x1,x4) & n_mug(x4) & of(x4,x5) & n_coffee(x5) & n_beer(x1) & of(x1,x3) & n_drink(x3) & of(x1,x2) & n_man(x2))