nfl career scoring leaders
5 players are listed as scoring leaders on the nfl career scoring board .
{'scope': 'all', 'criterion': 'all', 'value': 'n/a', 'result': '5', 'col': '2', 'subset': None}
{'func': 'eq', 'args': [{'func': 'count', 'args': [{'func': 'filter_all', 'args': ['all_rows', 'player'], 'result': None, 'ind': 0, 'tointer': 'select the rows whose player record is arbitrary .', 'tostr': 'filter_all { all_rows ; player }'}], 'result': '5', 'ind': 1, 'tostr': 'count { filter_all { all_rows ; player } }', 'tointer': 'select the rows whose player record is arbitrary . the number of such rows is 5 .'}, '5'], 'result': True, 'ind': 2, 'tostr': 'eq { count { filter_all { all_rows ; player } } ; 5 } = true', 'tointer': 'select the rows whose player record is arbitrary . the number of such rows is 5 .'}
eq { count { filter_all { all_rows ; player } } ; 5 } = true
select the rows whose player record is arbitrary . the number of such rows is 5 .
{'eq_2': 'eq', 'result_3': 'true', 'count_1': 'count', 'filter_all_0': 'filter_all', 'all_rows_4': 'all_rows', 'player_5': 'player', '5_6': '5'}
['rank', 'player', 'position', 'career', 'points']
[['31', 'jerry rice', 'wide receiver', '1985 - 2004', '1256'], ['47', 'emmitt smith', 'running back', '1990 - 2004', '1052'], ['52', 'ladainian tomlinson', 'running back', '2001 - 2011', '972'], ['59', 'randy moss', 'wide receiver', '1998 - 2012', '950'], ['61t', 'terrell owens', 'wide receiver', '1996 - 2010', '942']]