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: Quantas licenças de construção foram emitidas para empreiteiros no Texas?
 ###Tabelas: 
CREATE TABLE Contractors (ContractorID INT, ContractorName VARCHAR(50), City VARCHAR(50), State VARCHAR(2), Country VARCHAR(50)); INSERT INTO Contractors (ContractorID, ContractorName, City, State, Country) VALUES (1, 'DEF Construction', 'Dallas', 'TX', 'USA');
SELECT ContractorID FROM Contractors WHERE State = 'TX'; SELECT COUNT(PermitID) FROM BuildingPermits WHERE ContractorID IN (SELECT ContractorID FROM Contractors WHERE State = 'TX');