rowing at the 2008 summer olympics - men 's single sculls
the average time for the top 3 in the men 's single sculls at the 2008 summer olympics was 7:30.63 .
{'scope': 'subset', 'col': '4', 'type': 'average', 'result': '7:30.63', 'subset': {'col': '1', 'criterion': 'less_than_eq', 'value': '3'}}
{'func': 'round_eq', 'args': [{'func': 'avg', 'args': [{'func': 'filter_less_eq', 'args': ['all_rows', 'rank', '3'], 'result': None, 'ind': 0, 'tostr': 'filter_less_eq { all_rows ; rank ; 3 }', 'tointer': 'select the rows whose rank record is less than or equal to 3 .'}, 'time'], 'result': '7:30.63', 'ind': 1, 'tostr': 'avg { filter_less_eq { all_rows ; rank ; 3 } ; time }'}, '7:30.63'], 'result': True, 'ind': 2, 'tostr': 'round_eq { avg { filter_less_eq { all_rows ; rank ; 3 } ; time } ; 7:30.63 } = true', 'tointer': '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 .'}
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 .
{'eq_2': 'eq', 'result_3': 'true', 'avg_1': 'avg', 'filter_less_eq_0': 'filter_less_eq', 'all_rows_4': 'all_rows', 'rank_5': 'rank', '3_6': '3', 'time_7': 'time', '7:30.63_8': '7:30.63'}
['rank', 'athlete', 'country', 'time', 'notes']
[['1', 'ondå ™ ej synek', 'czech republic', '7:23.94', 'q'], ['2', 'mindaugas griskonis', 'lithuania', '7:28.05', 'q'], ['3', 'bajrang lal takhar', 'india', '7:39.91', 'q'], ['4', 'mathias raymond', 'monaco', '7:51.69', 'q'], ['5', 'chaouki dries', 'algeria', '7:57.65', 'se / f']]