They used a machine to pump water out of the mine.

• 他们使用机器泵在矿井中抽水。