What are the names of mountains that have a height of over 5000 or a prominence of over 1000?
select name from mountain where height > 5000 or prominence > 1000