firedamp-drainage drill

firedamp-drainage drill

[′fīr‚damp ‚drān·ij ‚dril]
(mining engineering)
A heavy, compressed-air-operated, percussive, rotary or rotary-percussive drilling machine for putting up the boreholes in firedamp drainage.