and { eq { max { all_rows ; points } ; 11 } ; eq { hop { argmax { all_rows ; points } ; entrant } ; team lotus } } = true
the maximum points record of all rows is 11 . the entrant record of the row with superlative points record is team lotus .