question: What are the different names for all songs that have a higher resolution than English songs?
#1 return songs  
#2 return #1 that are English 
#3 return resolutions of #1 
#4 return resolutions of #2 
#5 return #1 where #3 is higher than #4 
#6 return different names of #5