A certain proportion of the ore raised, or of its value, given to the miner as his recompense.