An appraisal of the tax exemption privilege granted under the mining act, as amended by Tolentino, Eduardo C.