miner

any individual who works or has worked in or around a coal mine or coal preparation facility in the extraction or preparation of coal.