mariano scartezzini
in the 1980s , the average world ranking for mariano scartezzini was 9.5 .
{'scope': 'subset', 'col': '3', 'type': 'average', 'result': '9.5', 'subset': {'col': '1', 'criterion': 'greater_than_eq', 'value': '1980'}}
{'func': 'round_eq', 'args': [{'func': 'avg', 'args': [{'func': 'filter_greater_eq', 'args': ['all_rows', 'year', '1980'], 'result': None, 'ind': 0, 'tostr': 'filter_greater_eq { all_rows ; year ; 1980 }', 'tointer': 'select the rows whose year record is greater than or equal to 1980 .'}, 'world ranking'], 'result': '9.5', 'ind': 1, 'tostr': 'avg { filter_greater_eq { all_rows ; year ; 1980 } ; world ranking }'}, '9.5'], 'result': True, 'ind': 2, 'tostr': 'round_eq { avg { filter_greater_eq { all_rows ; year ; 1980 } ; world ranking } ; 9.5 } = true', 'tointer': 'select the rows whose year record is greater than or equal to 1980 . the average of the world ranking record of these rows is 9.5 .'}
round_eq { avg { filter_greater_eq { all_rows ; year ; 1980 } ; world ranking } ; 9.5 } = true
select the rows whose year record is greater than or equal to 1980 . the average of the world ranking record of these rows is 9.5 .
{'eq_2': 'eq', 'result_3': 'true', 'avg_1': 'avg', 'filter_greater_eq_0': 'filter_greater_eq', 'all_rows_4': 'all_rows', 'year_5': 'year', '1980_6': '1980', 'world ranking_7': 'world ranking', '9.5_8': '9.5'}
['year', 'performance', 'world ranking', 'venue', 'date']
[['1979', '8.22.72', '3', 'turin', 'jun 9'], ['1980', '8.12.5', '4', 'rome', 'aug 5'], ['1981', '8.13.32', '1', 'zagreb', 'aug 16'], ['1982', '8.22.34', '14', 'berlin', 'aug 20'], ['1983', '8.21.17', '19', 'helsinki', 'aug 12']]