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 sum of proportion of the tax revenue collected in Spain and proportion of the tax revenue collected in Cyprus ?