Task: Text to Code
Input (English): the maximum total record of all rows is 8 . the nation record of the row with superlative total record is soviet union ( urs ) . the gold record of the row with superlative total record is 3 . the silver record of the row with superlative total record is 3 .
Output (English): and { eq { max { all_rows ; total } ; 8 } ; and { eq { hop { argmax { all_rows ; total } ; nation } ; soviet union ( urs ) } ; and { eq { hop { argmax { all_rows ; total } ; gold } ; 3 } ; eq { hop { argmax { all_rows ; total } ; silver } ; 3 } } } }