verb
present participle and gerund of hole
noun
(mining) undercutting in a bed of coal in order to bring down the upper mass.