What are the names of mountains that have a height of over 5000 or a prominence of over 1000?
return mountains ;return heights of   #1 ;return #1 where #2 is higher than 5000 ;return prominences of   #1 ;return #1 where #4 is higher than 1000 ;return #3 or  #5 ;return names of   #6
['select', 'project', 'comparative', 'project', 'comparative', 'union', 'project']