Abaixo está uma instrução que descreve uma tarefa de geração de SQL, combinada com uma entrada que fornece mais contexto sobre os esquemas de tabela disponíveis. Escreva o código SQL que responda adequadamente à solicitação
 ###Instrução: Qual Social AO tem um Presidente de harm van leeuwen?
 ###Tabelas: CREATE TABLE past_composition_of_the_executive_board (past_composition_of_the_executive_board_id AUTO_INCREMENT PRIMARY KEY, President VARCHAR, Treasurer VARCHAR, Secretary VARCHAR, Social AO VARCHAR, Academic AO VARCHAR, Internal CO VARCHAR, External CO VARCHAR) CREATE TABLE installed_capacity (installed_capacity_id AUTO_INCREMENT PRIMARY KEY, Stage VARCHAR, Unit Number INT, Installed Capacity ( MW ) VARCHAR, Date of Commissioning VARCHAR, Status VARCHAR, TG set Provider VARCHAR, Boiler Provider VARCHAR) CREATE TABLE spanish_national_championship (spanish_national_championship_id AUTO_INCREMENT PRIMARY KEY, city VARCHAR, position INT, Event VARCHAR, year INT, Score VARCHAR) CREATE TABLE doubles:_11_6–5 (doubles:_11_6–5_id AUTO_INCREMENT PRIMARY KEY, Outcome VARCHAR, Date VARCHAR, Tournament VARCHAR, Surface VARCHAR, Partner VARCHAR, Opponents VARCHAR, Score VARCHAR) CREATE TABLE career_rushing_statistics_at_ohio_state (career_rushing_statistics_at_ohio_state_id AUTO_INCREMENT PRIMARY KEY, Year VARCHAR, Games INT, Rushes INT, Yards INT, Average INT)  
SELECT Social AO FROM past_composition_of_the_executive_board WHERE President = harm van leeuwen