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: Quantos valores de PPV estão listados para quando o serviço de televisão Sky Cinema 1?
 ###Tabelas: CREATE TABLE enrollment (enrollment_id AUTO_INCREMENT PRIMARY KEY, Year VARCHAR, District-wide INT, High schools INT, Middle schools INT, Elementary schools INT, Other programs & adjustments INT) CREATE TABLE total_playoff_berths_while_in_the_afl_afc_east (total_playoff_berths_while_in_the_afl_afc_east_id AUTO_INCREMENT PRIMARY KEY, Team VARCHAR, Division Titles INT, Playoff Berths INT, AFL Titles INT, AFC Championships INT, Super Bowl Championships INT) CREATE TABLE law_enforcement (law_enforcement_id AUTO_INCREMENT PRIMARY KEY, Character VARCHAR, Position VARCHAR, Actor VARCHAR, First Episode VARCHAR, Final Episode VARCHAR, Duration VARCHAR, Final Episode Count INT) CREATE TABLE cinema (cinema_id AUTO_INCREMENT PRIMARY KEY, N° VARCHAR, Television service VARCHAR, Country VARCHAR, Language VARCHAR, Content VARCHAR, DAR VARCHAR, HDTV VARCHAR, PPV VARCHAR, Package/Option VARCHAR) CREATE TABLE computer_encoding (computer_encoding_id AUTO_INCREMENT PRIMARY KEY, Character VARCHAR, Code VARCHAR, Name VARCHAR, Version INT, Year INT)  
SELECT COUNT PPV FROM cinema WHERE Television service = Sky Cinema 1