Is it the case that in every year, the sum of the total revenue collected by the government in Kiribati and total revenue collected by the government in Colombia is greater than the total revenue collected by the government in Grenada ?