Task: Code to Text
Input (English): and { eq { nth_max { all_rows ; years for jazz ; 3 } ; 1982 - 85 } ; eq { hop { nth_argmax { all_rows ; years for jazz ; 3 } ; player } ; john drew } } = true
Output (English): the 3rd maximum years for jazz record of all rows is 1982  85 . the player record of the row with 3rd maximum years for jazz record is john drew .