CREATE TABLE table_15873547_1 (residence_hall VARCHAR, mascot VARCHAR)

What residence hall has the vermin mascot?
SELECT residence_hall FROM table_15873547_1 WHERE mascot = "Vermin"
SELECT "residence_hall" FROM "table_15873547_1" WHERE "Vermin" = "mascot"