Is it the case that in every year, the sum of the proportion of the tax revenue collected in United Kingdom and proportion of the tax revenue collected in Kenya is greater than the proportion of the tax revenue collected in Oman ?