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 Prohibition ticket tem um ticket do Partido Trabalhista Socialista de joseph smith?
 ###Tabelas: CREATE TABLE challenge_cup (challenge_cup_id AUTO_INCREMENT PRIMARY KEY, Date VARCHAR, Competition VARCHAR, Venue VARCHAR, Result VARCHAR, Score VARCHAR, Goals VARCHAR) CREATE TABLE result (result_id AUTO_INCREMENT PRIMARY KEY, Office VARCHAR, Republican ticket VARCHAR, Democratic ticket VARCHAR, Socialist Labor ticket VARCHAR, Prohibition ticket VARCHAR, Independent Citizens' ticket VARCHAR) CREATE TABLE 2008_ladder_and_finals (2008_ladder_and_finals_id AUTO_INCREMENT PRIMARY KEY, Benalla DFL VARCHAR, Wins INT, Losses INT, Draws INT, Byes INT, Against INT) CREATE TABLE building_and_withdrawal_data (building_and_withdrawal_data_id AUTO_INCREMENT PRIMARY KEY, Number INT, Builder VARCHAR, Built VARCHAR, Rebuilt VARCHAR, Name as rebuilt VARCHAR, Scrapped/Sold VARCHAR) CREATE TABLE epic-m_and_epic-x (epic-m_and_epic-x_id AUTO_INCREMENT PRIMARY KEY, Frame size VARCHAR, Width INT, Height INT, Mpix INT, Aspect Ratio VARCHAR, max. fps INT, max. fps HDRx INT, lowest possible REDCODE at 24 fps VARCHAR, lowest possible REDCODE at max. fps VARCHAR)  
SELECT Prohibition ticket FROM result WHERE Socialist Labor ticket = joseph smith