A man in a Las Vegas t-shirt smiles while meat is being cooked on a grill in the background.
The man is at a party.
It is not apparent that the man is at a party.
(x)
exists p1 x1.(n_man(x1) & exists x2.(at(x1,x2) & n_party(x2)))