A man is lying in the snow on his back, working on something mechanical above him.
the man has laid down in the snow because he is done with work
He is working on his back so he can not be done with his work.
exists e1 e2 s1 x1 x2 x3 x4 x5.(n_male(x2) & n_male(x2) & n_back(x3) & of(x3,x2) & n_snow(x2) & for(e1,e2) & on(e2,x4) & above(x4,x2) & Theme(s1,x5) & a_mechanical(s1) & (x4 = x5) & n_thing(x4) & Actor(e2,x1) & v_work(e2) & on(e1,x3) & in(e1,x2) & Actor(e1,x1) & v_lie(e1) & n_man(x1))
exists e1 p1 s1 x1 x2.(n_male(x2) & n_snow(x2) & n_man(x1) & exists e2 x3.(with(e2,x3) & n_work(x3) & Theme(e2,x2) & v_do(e2)) & because(e1,p1) & in(e1,x2) & a_down(s1) & Manner(e1,s1) & Actor(e1,x1) & v_lay(e1))