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