There is construction being done on the train station.
The train station is completely empty.
Constriction can't be being done if the station is completely empty.
exists p1 x1 x4 x5.(n_station(x4) & of(x4,x5) & n_train(x5) & exists e1 x2 x3.((x1 = x2) & on(e1,x4) & Theme(e1,x3) & v_do(e1) & (x2 = x3) & n_construction(x2)))
exists s1 x1 x2.(n_station(x1) & of(x1,x2) & n_train(x2) & r_completely(s1) & Theme(s1,x1) & a_empty(s1))