Database schema:

CREATE TABLE divisions (
	division TEXT NOT NULL -- example: ['D1', 'B1'],
	name TEXT -- example: ['Division 1A', 'Bundesliga'],
	country TEXT -- example: ['Deutschland', 'Belgium'],
	PRIMARY KEY (division)
)


CREATE TABLE matchs (
	"Div" TEXT -- example: ['D1', 'B1'],
	"Date" DATE -- example: ['2020-08-08', '2020-08-09'],
	"HomeTeam" TEXT -- example: ['Antwerp', 'Club Brugge'],
	"AwayTeam" TEXT -- example: ['Mouscron', 'Charleroi'],
	"FTHG" INTEGER -- example: ['0', '1'],
	"FTAG" INTEGER -- example: ['0', '1'],
	"FTR" TEXT -- example: ['A', 'D'],
	season INTEGER -- example: ['2020', '2021'],
	CONSTRAINT fk_matchs_divisions FOREIGN KEY("Div") REFERENCES divisions (division)
)

Question: How many teams that played in the 2012 season belong to any of the English divisions and what percentage play in each of the divisions?
Evidence: matches = Div

SQL:
SELECT ( SELECT COUNT(T1.Div) AS total FROM matchs T1 INNER JOIN divisions T2 ON T2.division = T1.Div WHERE T2.country = 'England' AND T1.season = 2012 ) AS num , CASE WHEN 1 THEN T.result END AS percentage FROM ( SELECT 100.0 * COUNT(T1.Div) / ( SELECT COUNT(T1.Div) FROM matchs T1 INNER JOIN divisions T2 ON T2.division = T1.Div WHERE T2.country = 'England' AND T1.season = 2012 ) AS result FROM matchs T1 INNER JOIN divisions T2 ON T2.division = T1.Div WHERE T2.country = 'England' AND T1.season = 2012 GROUP BY T2.division ) AS T