The percentage that comes from mining revenue is somewhat less than that.
The larger percentage comes from manufacturing revenue.
mnli hypothesis: The larger percentage comes from manufacturing revenue. premise: The percentage that comes from mining revenue is somewhat less than that.