What are the different names for all songs that have a higher resolution than English songs?
return songs  ;return #1 that are English ;return resolutions of #1 ;return resolutions of #2 ;return #1 where #3 is higher than #4 ;return different names of #5
['select', 'filter', 'project', 'project', 'comparative', 'project']