Hardrock minerals

Hardrock minerals include base metals, precious metals, industrial minerals, and precious or semi-precious gemstones. Hardrock minerals do not include coal, oil shale, phosphate, sodium, potassium, or gilsonite deposits. Also, hardrock minerals do not include commodities the government sells such as common varieties of sand, gravel, stone, pumice or cinder. The term hardrock minerals as used here includes mineral deposits that are found in sedimentary and other rocks.

Source

43 CFR § 3501.5

---

Scoping language

You need to know the following terms, which are used frequently in this part:

---

Is this correct? or