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: Nomeie o número de matrículas de primavera para o seminário de Sioux Falls.
 ###Tabelas: CREATE TABLE institutions (institutions_id AUTO_INCREMENT PRIMARY KEY, School VARCHAR, Location(s) VARCHAR, Control VARCHAR, Type VARCHAR, Enrollment (spring 2012) INT, Founded INT, Accreditation VARCHAR) CREATE TABLE other_film_projects (other_film_projects_id AUTO_INCREMENT PRIMARY KEY, Year INT, English title VARCHAR, Original title VARCHAR, Country VARCHAR, Length VARCHAR, Participation as VARCHAR) CREATE TABLE home_attendance (home_attendance_id AUTO_INCREMENT PRIMARY KEY, Date VARCHAR, Round VARCHAR, Attendance INT, Opposition VARCHAR, Stadium VARCHAR) CREATE TABLE race_3_results (race_3_results_id AUTO_INCREMENT PRIMARY KEY, Name VARCHAR, Team VARCHAR, Laps INT, Grid INT, Points INT) CREATE TABLE nomenclature (nomenclature_id AUTO_INCREMENT PRIMARY KEY, Chinese industrial designation VARCHAR, Export type designation VARCHAR, NATO reporting name VARCHAR, NATO/U.S DOD code VARCHAR, Remarks VARCHAR)  
SELECT COUNT Enrollment (spring 2012) FROM institutions WHERE School = Sioux Falls Seminary