Three men are wearing safety yellow jackets and hard hats on the sight of a construction project; one is in a hole and the other two are looking at the man standing in the hole.
There are three men in hard hats standing on the same horizontal plane.
All three men can't be in the same horizontal plane if one is in a hole and the others are looing at him.
exists e1 e2 p1 s1 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12.(n_hole(x12) & -(x7 = x7) & n_thing(x7) & card_eq_2(x7) & n_sight(x7) & at(e2,x11) & in(x11,x12) & n_standing(x11) & of(x11,x1) & n_man(x1) & n_man(x1) & Actor(e2,x7) & v_look(e2) & exists x13.(in(x10,x13) & n_hole(x13)) & n_thing(x10) & card_eq_1(x10) & Theme(e1,x2) & Actor(e1,x1) & v_wear(e1) & on(x2,x7) & of(x7,x8) & n_project(x8) & of(x8,x9) & n_construction(x9) & n_hat(x6) & a_hard(s1) & Theme(s1,x6) & n_jacket(x5) & subset_of(x6,x2) & subset_of(x5,x2) & of(x2,x4) & n_yellow(x4) & of(x2,x3) & n_safety(x3) & card_eq_3(x1))
exists p1 s2 s3 x1 x5.(n_plane(x5) & a_horizontal(s3) & Theme(s3,x5) & a_same(s2) & Theme(s2,x5) & exists e1 s1 x2 x3 x4.((x1 = x2) & on(e1,x5) & Actor(e1,x4) & v_stand(e1) & (x2 = x4) & in(x2,x3) & n_hat(x3) & a_hard(s1) & Theme(s1,x3) & n_man(x2) & card_eq_3(x2)))