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.
The construction workers are stopped for lunch.
If they are stopped for lunch, one man wouldn't be in a hole and the others wouldn't be standing and looking at him.
exists e2 e1 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 e1 x1 x2 x3.(n_worker(x1) & of(x1,x2) & n_construction(x2) & for(e1,x3) & n_lunch(x3) & Theme(e1,x1) & v_stop(e1))