Task: Text to Code
Input (English): Command: all_greater { filter_greater { all_rows ; elevation ( m ) ; 3000 } ; prominence ( m ) ; 2400 }, interpretation: select the row whose extra points record of all rows is maximum . the player record of this row is merv pregulman .
Output (English): no