Commentary: MINING[+event] excavation - the act of extracting ores or coal etc from the earth
The mining went on all day, from dawn until dusk.
The mining was finished in late September.
WordNet 2.0 Sense Numbers: 1
Commentary: MINING[+event] mine-laying - laying explosive mines in concealed places to destroy enemy personnel and equipment
The mining of the field proved futile.
WordNet 2.0 Sense Numbers: 2