Question: Oh, sorry. I meant to ask what dorm does the student with the last name of Smith live in?
SQL: SELECT T1.dorm_name FROM dorm AS T1 JOIN lives_in AS T4 ON T4.dormid   =   T1.dormid JOIN student AS T5 ON T5.stuid   =   T4.stuid WHERE T5.lname   =   'Smith'