Webster's Revised Unabridged Dictionary · 1913
Hogger-pump
Copy link
Hogger-pump
(hog"gẽr-pump`)
, noun
(Mining)
The top pump in the pit.
— Raymond
↑