Question: How many female students are enlisted in the Navy organization?
SQL: SELECT COUNT(name) FROM enlist WHERE organ = 'navy' AND name NOT IN ( SELECT name FROM male )