The building is undergoing a construction project.
a building undergoes construction on the top floor
Not all construction projects are on the top floor.
exists e1 x1 x2 x3.(n_building(x1) & Theme(e1,x2) & Actor(e1,x1) & v_undergo(e1) & n_project(x2) & of(x2,x3) & n_construction(x3))
exists e1 s1 x1 x2 x3.(n_floor(x3) & a_top(s1) & Theme(s1,x3) & on(e1,x3) & Theme(e1,x2) & Actor(e1,x1) & v_undergo(e1) & n_construction(x2) & n_building(x1))