The Collaborative International Dictionary
Hogger-pump
Hogger-pump \Hog"ger-pump"\ (h[o^]g"g[~e]r-p[u^]mp`), n.
(Mining)
The top pump in the pit.
--Raymond.