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 are two people in a room.
A man and the man next to him indicates there are two people.
(x)
exists p1 x1 x2.(in(p1,x2) & n_room(x2) & exists x3.((x1 = x3) & n_people(x3) & card_eq_2(x3)))