rock hole
nounDefinition of rock hole
: a raise in a coal mine driven from a gangway or breast to an overlying coal seam
— called also rock chute