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
mountains that have a height of over 5000 refers to Height > 5000; a prominence of over 1000 refers to Prominence > 1000;