Question: What are the ids of all songs that have higher resolution of the average resolution in the modern genre?
SQL: SELECT f_id FROM song WHERE resolution  >  (SELECT avg(resolution) FROM song WHERE genre_is  =  "modern")