Task: Text to Code
Input (English): the 9th minimum week record of all rows is 9 . the attendance record of the row with 9th minimum week record is 46978 .
Output (English): and { eq { nth_min { all_rows ; week ; 9 } ; 9 } ; eq { hop { nth_argmin { all_rows ; week ; 9 } ; attendance } ; 46978 } }