After the whole area has been mined out, all the miners have left.

• 整个地区的矿全都挖光后，所有的矿工就都离开了这里。