A miner is a person who extracts ore, coal, chalk, clay, or other minerals from the earth through mining. There are two senses in which the term is used. From Wikipedia
Aftershocks have eased enough to deploy remote-controlled equipment to clear debris in hopes of reaching the trapped miners
