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