Of all the divisions in the world, what percentage of them belong to England?
DIVIDE(COUNT(division where country = 'England'), COUNT(division)) as percentage;
SELECT CAST(COUNT(CASE WHEN country = 'England' THEN division ELSE NULL END) AS REAL) * 100 / COUNT(division) FROM divisions
database name:db_id european_football_1
divisions table divisions Cols: division dtype text, name dtype text, country dtype text, 
matchs table matchs Cols: Division dtype text, Date dtype date, HomeTeam dtype text, AwayTeam dtype text, Final-time Home-team Goals dtype integer, Final-time Away-team Goals dtype integer, Final-time Results dtype text, season dtype integer, 
