A man with a baseball cap and black jacket stands in a bathroom while holding a coffee mug.
A man is indoors.
If a man is in a bathroom then he is indoors.
(-x)
exists p1 x1.(exists x2.((x1 = x2) & n_indoor(x2)) & n_man(x1))