Wiktionary
hogger pump
n. (context mining English) The forepump in the pit of a mine.
n. (context mining English) The forepump in the pit of a mine.