A man in an orange hard hat and vest looks at an object in his hand while the man next to him stands on a ladder in order to reach the ceiling.
There is a man on a ladder.
"The man next to him stands on a ladder" shows there is a man on a ladder.
(x)
exists p1 x1 x2 x3.((x1 = x2) & on(x2,x3) & n_ladder(x3) & n_man(x2))