Task: Text to Code
Input (English): select the rows whose rank record is less than or equal to 3 . the average of the time record of these rows is 7:30.63 .
Output (English): round_eq { avg { filter_less_eq { all_rows ; rank ; 3 } ; time } ; 7:30.63 }