Task: Text to Code
Input (English): the 6th minimum rank record of all rows is 6 . the team record of the row with 6th minimum rank record is college of saint benilde . the loss record of the row with 6th minimum rank record is 4 .
Output (English): and { eq { nth_min { all_rows ; rank ; 6 } ; 6 } ; and { eq { hop { nth_argmin { all_rows ; rank ; 6 } ; team } ; college of saint benilde } ; eq { hop { nth_argmin { all_rows ; rank ; 6 } ; loss } ; 4 } } }