What residence hall has the vermin mascot?
CREATE TABLE table_15873547_1 (residence_hall VARCHAR, mascot VARCHAR)
SELECT residence_hall FROM table_15873547_1 WHERE mascot = "Vermin"
<s>[INST] Write mssql query to answer the following question given the database schema. Schema: CREATE TABLE table_15873547_1 (residence_hall VARCHAR, mascot VARCHAR) Question: What residence hall has the vermin mascot? [/INST] SELECT residence_hall FROM table_15873547_1 WHERE mascot = "Vermin" </s>