Which building does the instructor who teaches the most number of courses live in?
return instructors ;return courses #1 teaches ;return number of  #2 for each  #1 ;return #1 where #3 is  highest ;return building of  #4
['select', 'project', 'group', 'superlative', 'project']