Task: Code to Text
Input (English): and { eq { max { all_rows ; points } ; 15 } ; and { eq { hop { argmax { all_rows ; points } ; place } ; 1 } ; eq { hop { argmax { all_rows ; points } ; country } ; australia } } } = true
Output (English): the maximum points record of all rows is 15 . the place record of the row with superlative points record is 1 . the country record of the row with superlative points record is australia .