overcutter

== English == === Etymology === From over- +‎ cutter. === Noun === overcutter (plural overcutters) (mining) A device used to cut into rock walls from above.