Task: Code to Text
Input (English): and { eq { max { all_rows ; points } ; 11 } ; eq { hop { argmax { all_rows ; points } ; entrant } ; team lotus } } = true
Output (English): the maximum points record of all rows is 11 . the entrant record of the row with superlative points record is team lotus .