Construction workers are waiting to use the elevator.
The construction workers are waiting for the elevator.
Construction workers are waiting for the elevators and some are waiting to use the elevator.
exists e1 p1 x1 x2 x3.(n_elevator(x3) & Topic(e1,p1) & Actor(e1,x1) & v_wait(e1) & exists e2.(Theme(e2,x3) & Actor(e2,x1) & v_use(e2)) & n_worker(x1) & of(x1,x2) & n_construction(x2))
exists e1 x1 x2 x3.(n_elevator(x3) & n_worker(x1) & of(x1,x2) & n_construction(x2) & for(e1,x3) & Actor(e1,x1) & v_wait(e1))