Task: Code to Text
Input (English): and { eq { nth_max { all_rows ; crowd ; 1 } ; 26000 } ; and { eq { hop { nth_argmax { all_rows ; crowd ; 1 } ; venue } ; punt road oval } ; eq { hop { nth_argmax { all_rows ; crowd ; 1 } ; date } ; 9 august 1941 } } } = true
Output (English): the 1st maximum crowd record of all rows is 26000 . the venue record of the row with 1st maximum crowd record is punt road oval . the date record of the row with 1st maximum crowd record is 9 august 1941 .