The miners are up out of the mine.

• 矿工们从矿井里上来了。