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 10.73 .
Output (English): round_eq { avg { filter_less_eq { all_rows ; rank ; 3 } ; time } ; 10.73 }