Find the total number of instructors who teach a course in the Spring 2010 semester.
return course ;return #1 in the Spring 2010 semester ;return instructors of #2 ;return number of #3
['select', 'filter', 'project', 'aggregate']