overcutter

noun1

1. •
   A device used to cut into rock walls from above.

   • It is estimated that the capacity of an overcutter is three times that of a chain-breast machine and twice that of a shortwall machine — 1917