Question: How many students are enlisted to the air force?
SQL: SELECT COUNT(name) FROM enlist WHERE organ = 'air_force'