Definition, synonyms and related words
A device for cutting coal out of the rock face in a coal mine.