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.