Process or action of digging to extract metal, coal, or other substances, or to create a tunnel, such as under a wall, fort, mountain, or another thing.