Table: residence_halls
Columns: residence_hall
sex
established
rector
campus
capacity
colors
mascot

Question: Who is the rector of the residence hall who's mascot is the phoxes?
SQL: SELECT "rector" FROM residence_halls WHERE "mascot" = 'Phoxes'

Question: What is the mascot with the colors green and navy?
SQL: SELECT "mascot" FROM residence_halls WHERE "colors" = 'Green and Navy'

Question: What residence hall has the vermin mascot?
SQL: SELECT "residence_hall" FROM residence_halls WHERE "mascot" = 'Vermin'

Question: What are the colors of Howard Hall?
SQL: SELECT "colors" FROM residence_halls WHERE "residence_hall" = 'Howard Hall'