What are the ids of songs that are available in either mp4 format or have resolution above 720?
select f_id from files where formats = "mp4" union select f_id from song where resolution > 720