Task: Text to Code
Input (English): Step 1: find the Name of mountain table.
Step 2: find the Name of mountain table for which Prominence equals 5885.
Step 3: show the rows that are in the results of step 1 but not in the results of step 2
Output (English): SELECT Name FROM mountain EXCEPT SELECT Name FROM mountain WHERE Prominence = 5885