overcutter (English, noun)
expansion: overcutter (plural overcutters)
Senses:
topics: business
mining
glosses: A device used to cut into rock walls from above.
Forms:
form: overcutters
tags: plural