Is it the case that in every year, the sum of the number of procedures required to register a property in Senegal and number of procedures required to register a property in Nicaragua is greater than the number of procedures required to register a property in Botswana ?