A man in a uniform waves while holding a banner during an event.
The man is at an event.
A man at an event also waves and holds banner during an event.
(x)
exists p1 x1.(n_man(x1) & exists x2.(at(x1,x2) & n_event(x2)))