mining right
means a right to mine granted in terms of
section 23(1)
;