Holing

Definition:

• (n.) Undercutting in a bed of coal, in order to bring down the upper mass.