What are the mascots for schools with enrollments above the average?
return schools ;return enrollments of #1 ;return average of #2 ;return #1 where #2 is  higher than #3 ;return mascots of #4
['select', 'project', 'aggregate', 'comparative', 'project']