What university enrolls 4197 undergraduate students and is the alma mater of Robert Frost?
return universities ;return undergraduate students that #1 enrolls ;return number of  #2 ;return #1 where #3 is 4197 ;return #4 that is the  alma mater of Robert Frost
['select', 'project', 'aggregate', 'comparative', 'filter']