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 é o número total de propriedades na cidade de Seul, Coreia do Sul, que possuem telhados verdes?
 ###Tabelas: 
CREATE TABLE seoul_real_estate(id INT, city VARCHAR(50), green_roof BOOLEAN); INSERT INTO seoul_real_estate VALUES (1, 'Seoul', true);
SELECT COUNT(*) FROM seoul_real_estate WHERE city = 'Seoul' AND green_roof = true;