Question: Find the government form name and total population for each government form whose average life expectancy is longer than 72.
SQL: SELECT sum(Population) ,  GovernmentForm FROM country GROUP BY GovernmentForm HAVING avg(LifeExpectancy)  >  72