What are the ids of all songs that are available on mp4 or have a higher resolution than 720?
select f_id from files where formats = "mp4" union select f_id from song where resolution > 720