noun
(mining, historical) An upper or lower portion of stone that is removed to form a gradient between workings.