1. To dig away, or otherwise remove, the substratum or foundation of;
to lay a mine under; to sap; to undermine; hence, to ruin or destroy by
slow degrees or secret means.
They mined the walls.
Hayward.
Too lazy to cut down these immense trees, the spoilers . . . had
mined them, and placed a quantity of gunpowder in the cavity.
Sir W. Scott.