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.
The men are in an office building.
It doesn't mention whether the men are in an office building or not.
(x)
exists p1 x1.(n_man(x1) & exists x2 x3.(in(x1,x2) & n_building(x2) & of(x2,x3) & n_office(x3)))