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