Production-operator

Production-operator means any owner, lessee, or other person who operates, controls, or supervises a mine under this part.

Source

30 CFR § 46.2

---

Scoping language

The following definitions apply in this part:

---

Is this correct? or