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
5000'in üzerinde yükseklik veya 1000'den fazla ön plana sahip dağların adı nelerdir?