Task: Text to Code
Input (English): How many instructors teach a course in the Spring of 2010?
Output (English): SELECT COUNT (DISTINCT ID) FROM teaches WHERE semester  =  'Spring' AND YEAR  =  2010