Mining. See quot.
1883. Gresley, Gloss. Coal Mining, Fee, to load up the coal, etc., in a heading into tubs.
