Task: Text to Code
Input (English): the 2nd maximum money record of all rows is 135000 . the player record of the row with 2nd maximum money record is fred couples .
Output (English): and { eq { nth_max { all_rows ; money ; 2 } ; 135000 } ; eq { hop { nth_argmax { all_rows ; money ; 2 } ; player } ; fred couples } }