society > occupation and work > worker > workers according to type of work > manual or industrial worker > miner > [noun] > one who works specific mining equipment
sump man1825
pipeman1863
pumpman1902
winding-engineman1904
1904 Daily Chron. 23 Apr. 6/4 A terrible calamity was averted at the Navigation Colliery..by the heroism..of the winding engineman.