round_eq { avg { filter_less_eq { all_rows ; rank ; 3 } ; time } ; 7:30.63 } = true
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 .