society > occupation and work > worker > workers according to type of work > manual or industrial worker > miner > [noun] > one who mines other specific substances
jetter1614
gum-diggerc1858
chlorider1874
gemmer1889
gouger1898
hardrocker1903
opal gouger1904
1889 Ceylon Observer 8 June Pits dug by ancient and modern gemmers.