Question: Which of these 3 mountains is the tallest?
SQL: SELECT Name FROM mountain WHERE Height  >  5000 and Prominence  >  1000 order by height desc limit 1