How many female students live in Smith Hall?
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'