Question: What are the names of mountains that have a height of over 5000 or a prominence of over 1000?
SQL: SELECT Name FROM mountain WHERE Height  >  5000 OR Prominence  >  1000