MINE v.
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 cavi…