Task: Text to Code
Input (English): select the rows whose total ( kg ) record is greater than 195.0 . the 1st minimum bodyweight record of these rows is 57.05 . the name record of the row with 1st minimum bodyweight record is rusmeris villar ( col ) .
Output (English): and { eq { nth_min { filter_greater { all_rows ; total ( kg ) ; 195.0 } ; bodyweight ; 1 } ; 57.05 } ; eq { hop { nth_argmin { filter_greater { all_rows ; total ( kg ) ; 195.0 } ; bodyweight ; 1 } ; name } ; rusmeris villar ( col ) } }