Task: Text to Code
Input (English): the maximum goals record of all rows is 15 . the scorer record of the row with superlative goals record is choi sang - kuk .
Output (English): and { eq { max { all_rows ; goals } ; 15 } ; eq { hop { argmax { all_rows ; goals } ; scorer } ; choi sang - kuk } }