Instruct: What residence hall has the vermin mascot?
Output: SELECT Residence Hall FROM table WHERE Mascot = Vermin