coal mining terminology

relative devices