Show the names of mountains with height more than 5000 or prominence more than 1000.
SELECT Name FROM mountain WHERE Height  >  5000 OR Prominence  >  1000
mountains with height more than 5000 refers to Height > 5000; mountains with prominence more than 1000 refers to Prominence > 1000;