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 formato da frequência de propriedade da Universidade de Laval?
 ###Tabelas: CREATE TABLE european_cup_history (european_cup_history_id AUTO_INCREMENT PRIMARY KEY, Season VARCHAR, Competition VARCHAR, Round VARCHAR, Club VARCHAR, Home VARCHAR, Away VARCHAR, Aggregate VARCHAR) CREATE TABLE radio (radio_id AUTO_INCREMENT PRIMARY KEY, Frequency VARCHAR, Call sign VARCHAR, Format VARCHAR, Owner VARCHAR, Notes VARCHAR) CREATE TABLE tallest_buildings_by_pinnacle_height (tallest_buildings_by_pinnacle_height_id AUTO_INCREMENT PRIMARY KEY, Pinn. Rank INT, Std. Rank INT, Name VARCHAR, Pinnacle height ft (m) VARCHAR, Standard height ft (m) VARCHAR, Floors INT, Year INT) CREATE TABLE doubles_champion_9 (doubles_champion_9_id AUTO_INCREMENT PRIMARY KEY, Date VARCHAR, Tournament VARCHAR, Surface VARCHAR, Partnering VARCHAR, Opponent in the final VARCHAR, Score VARCHAR) CREATE TABLE most_career_runs (most_career_runs_id AUTO_INCREMENT PRIMARY KEY, Rank INT, Runs INT, Average VARCHAR, Strike rate VARCHAR, Player VARCHAR, Matches INT, Innings INT, Period VARCHAR)  
SELECT Format FROM radio WHERE Owner = laval university