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: Que distrito tem um líder democrata de Roby?
 ###Tabelas: CREATE TABLE municipal_detachments (municipal_detachments_id AUTO_INCREMENT PRIMARY KEY, Municipality VARCHAR, Population INT, Police officers INT, Residents per officer INT, Total costs (2005) VARCHAR, Cost per capita VARCHAR, Case burden INT, Crime rate per 1,000 people INT, Police force VARCHAR) CREATE TABLE division_races (division_races_id AUTO_INCREMENT PRIMARY KEY, Week INT, EASTERN #1 VARCHAR, Eastern #2 VARCHAR, WESTERN #1 VARCHAR, Western #2 VARCHAR) CREATE TABLE executive_commissioners (executive_commissioners_id AUTO_INCREMENT PRIMARY KEY, Year VARCHAR, Human Resources & Operations VARCHAR, Local Affairs VARCHAR, Academic & University Affairs VARCHAR, External Affairs VARCHAR) CREATE TABLE senate (senate_id AUTO_INCREMENT PRIMARY KEY, Senator VARCHAR, Party VARCHAR, District INT, Home Town VARCHAR, Took Office INT) CREATE TABLE westland_district (westland_district_id AUTO_INCREMENT PRIMARY KEY, Name VARCHAR, Years VARCHAR, Area VARCHAR, Authority VARCHAR, Decile INT, Roll INT)  
SELECT SUM District FROM senate WHERE Party = democratic AND Home Town = roby