Task: Text to Code
Input (English): the maximum losses record of all rows is 4 . the quarterback record of the row with superlative losses record is dave krieg .
Output (English): and { eq { max { all_rows ; losses } ; 4 } ; eq { hop { argmax { all_rows ; losses } ; quarterback } ; dave krieg } }