Task: Text to Code
Input (English): What are the different names for all songs that have a higher resolution than English songs?
Output (English): SELECT DISTINCT song_name FROM song WHERE resolution  >  (SELECT min(resolution) FROM song WHERE languages  =  "english")