CREATE TABLE lives_in (stuid VARCHAR(255), dormid VARCHAR(255)); CREATE TABLE student (stuid VARCHAR(255), sex VARCHAR(255)); CREATE TABLE dorm (dormid VARCHAR(255), dorm_name VARCHAR(255))
Find the number of female students (with F sex) living 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' AND T1.sex = 'F'