Task: Text to Code
Input (English): the 2nd maximum 187 kg record of all rows is 215 kg . the world record record of the row with 2nd maximum 187 kg record is olympic record .
Output (English): and { eq { nth_max { all_rows ; 187 kg ; 2 } ; 215 kg } ; eq { hop { nth_argmax { all_rows ; 187 kg ; 2 } ; world record } ; olympic record } }