What are the ids of all songs that have higher resolution of the average resolution in the modern genre?
select f_id from song where resolution > (select avg(resolution) from song where genre_is = "modern")