Webster's Revised Unabridged Dictionary · 1913

Hogger-pump

Hogger-pump (hog"gẽr-pump`) , noun

(Mining) The top pump in the pit. — Raymond