Task: Text to Code
Input (English): What are the different government forms and what is the total population of each for government forms that have an average life expectancy greater than 72?
Output (English): SELECT sum(Population) ,  GovernmentForm FROM country GROUP BY GovernmentForm HAVING avg(LifeExpectancy)  >  72