Find the distinct names of all songs that have a higher resolution than some songs in English.
return songs  ;return #1 in English ;return resolutions of #2 ;return the  lowest #3 ;return resolutions of #1 ;return #1 where #5 is  higher than #4 ;return the  distinct names of #6
['select', 'filter', 'project', 'aggregate', 'project', 'comparative', 'project']