Question: How many students live in Smith Hall?
SQL: SELECT count ( * )  FROM student AS T1 JOIN lives_in AS T2 ON T1.stuid   =   T2.stuid JOIN dorm AS T3 ON T3.dormid   =   T2.dormid WHERE T3.dorm_name   =   'Smith Hall'