How many female students are enlisted in the Navy organization?
female students refers to enlist.name who are NOT in male.name; organization refers to organ; organ = 'navy';
SELECT COUNT(name) FROM enlist WHERE organ = 'navy' AND name NOT IN ( SELECT name FROM male )