(1) An
"oil shale exploration tenement" is an exploration permit or mineral development licence granted for oil shale.
(2) An
"oil shale mining lease" is—(a) a mining lease for oil shale; or(b) a specific purpose mining lease for a purpose associated with, arising from or promoting the activity of oil shale mining, whether or not it is also granted for a purpose other than oil shale mining.
(3) Subsections (1) and (2) (a) apply whether or not the lease, permit or licence is also granted for another mineral.