Mining operations

Mining operations means mine development, drilling, blasting, extraction, milling, crushing, screening, or sizing of minerals at a mine; maintenance and repair of mining equipment; and associated haulage of materials within the mine from these activities.

Source

30 CFR § 46.2

---

Scoping language

The following definitions apply in this part:

---

Is this correct? or