What are the ids of songs that are available in either mp4 format or have resolution above 720?
return songs ;return formats #1 are  available in ;return #1 where #2 is  mp4 ;return resolution of  #1 ;return #1 where #4 is  higher than 720 ;return #3 or  #5 ;return ids of  #6
['select', 'project', 'comparative', 'project', 'comparative', 'union', 'project']