A man grins and holds up a white coffee cup while sitting near a tree.
There is a man and a tree
Sitting near a tree shows that there is a man and a tree.
(x)
exists p1 x1 x2 x3 x4.((x1 = x2) & subset_of(x4,x2) & n_tree(x4) & subset_of(x3,x2) & n_man(x3))