Two men in construction clothing and hard hats standing on scaffolding
Everyone is nude.
If they are wearing clothing, they are not nude.
exists e1 s1 x1 x2 x3 x4 x5 x6.(a_topic(x1) & on(e1,x6) & n_scaffolding(x6) & Actor(e1,x5) & v_stand(e1) & (x1 = x5) & in(x1,x2) & n_hat(x2) & a_hard(s1) & Theme(s1,x2) & of(x2,x4) & n_clothing(x4) & of(x2,x3) & n_construction(x3) & n_man(x1) & card_eq_2(x1))
all x1.(n_person(x1) -> exists s1.(Theme(s1,x1) & a_nude(s1)))