Question: What residence hall has the vermin mascot?
Schema: create table table_15873547_1 (residence_hall varchar, mascot varchar, PRIMARY KEY (residence_hall))
SQL: select residence_hall from table_15873547_1 where mascot = "vermin"