Is it the case that in every year, the sum of the proportion of the tax revenue collected in Slovenia and proportion of the tax revenue collected in Ireland is greater than the proportion of the tax revenue collected in Spain ?