What are the ids of all songs that have higher resolution of the average resolution in the modern genre?
return songs ;return genres of  #1 ;return #1 where #2 is  modern ;return resolutions of  #3 ;return average of  #4 ;return #3 where #4 is  higher than #5 ;return ids of  #6
['select', 'project', 'comparative', 'project', 'aggregate', 'comparative', 'project']