An electrician is being lifted up or carried down at work.
the electrician worked alone
A person can't be lifted up while working alone.
(exists e1 s1 x1.(a_up(s1) & Manner(e1,s1) & Theme(e1,x1) & v_lift(e1) & n_electrician(x1)) | exists e2 s2 x2 x3.(at(e2,x3) & n_work(x3) & a_down(s2) & Manner(e2,s2) & Theme(e2,x2) & v_carry(e2) & n_electrician(x2)))
exists e1 s1 x1.(n_electrician(x1) & a_alone(s1) & Manner(e1,s1) & Actor(e1,x1) & v_work(e1))