What are the ids of all songs that are available on mp4 or have a higher resolution than 720?
return songs ;return #1 that  are  available on  mp4 ;return resolution of  #1 ;return #1 where #3 is  higher than 720 ;return #2 or  #4 ;return ids of  #5
['select', 'filter', 'project', 'comparative', 'union', 'project']