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: Encontre o número total de propriedades co-propriedade em Denver
 ###Tabelas: 
CREATE TABLE co_ownership (id INT, property_id INT, owner_name TEXT, city TEXT, state TEXT, is_co_owned BOOLEAN);
SELECT SUM(is_co_owned) FROM co_ownership WHERE city = 'Denver';