Task: Text to Code
Input (English): What is ids of the songs whose resolution is higher than the resolution of any songs with rating lower than 8?
Output (English): SELECT f_id FROM song WHERE resolution  >  (SELECT max(resolution) FROM song WHERE rating  <  8)