coal miner subgroup of miner, 8 assertions