Task: Text to Code
Input (English): select the row whose agg record of all rows is maximum . the team 1 record of this row is matera ( h15 ) . the team 2 record of this row is ( h14 ) quarto .
Output (English): and { eq { hop { argmax { all_rows ; agg } ; team 1 } ; matera ( h15 ) } ; eq { hop { argmax { all_rows ; agg } ; team 2 } ; ( h14 ) quarto } }