What are the different names for all songs that have a higher resolution than English songs?
select distinct song_name from song where resolution > (select min(resolution) from song where languages = "english")