A Quattro crane is operating during the train station construction.
All the work on the train station was completed.
The work can't be completed if the crane is still being used during construction.
exists e1 x1 x2 x3 x4 x5.(n_construction(x3) & of(x3,x5) & n_station(x5) & of(x3,x4) & n_train(x4) & during(e1,x3) & Actor(e1,x1) & v_operate(e1) & n_crane(x1) & (x1 = x2) & ne_org_quattro(x2))
exists x2 x3 x4.(n_station(x3) & of(x3,x4) & n_train(x4) & n_work(x2) & all x1.((x1 = x2) -> exists e1.(Theme(e1,x1) & v_complete(e1) & on(x1,x3))))