Hogger-pump

Hog´ger-pump´

    (hǒg´gẽr-pŭmp`)
n.1.(Mining) The top pump in the pit.
Webster's Revised Unabridged Dictionary, published 1913 by G. & C. Merriam Co.