b " swimming at the 2007 world aquatics championships - men 's 200 metre freestyle "
8 athletes participated in the men 's 200 metre freestyle at the 2007 world aquatics championships .
{'scope': 'all', 'criterion': 'all', 'value': 'n/a', 'result': '8', 'col': '2', 'subset': None}
{'func': 'eq', 'args': [{'func': 'count', 'args': [{'func': 'filter_all', 'args': ['all_rows', 'name'], 'result': None, 'ind': 0, 'tointer': 'select the rows whose name record is arbitrary .', 'tostr': 'filter_all { all_rows ; name }'}], 'result': '8', 'ind': 1, 'tostr': 'count { filter_all { all_rows ; name } }', 'tointer': 'select the rows whose name record is arbitrary . the number of such rows is 8 .'}, '8'], 'result': True, 'ind': 2, 'tostr': 'eq { count { filter_all { all_rows ; name } } ; 8 } = true', 'tointer': 'select the rows whose name record is arbitrary . the number of such rows is 8 .'}
eq { count { filter_all { all_rows ; name } } ; 8 } = true
select the rows whose name record is arbitrary . the number of such rows is 8 .
{'eq_2': 'eq', 'result_3': 'true', 'count_1': 'count', 'filter_all_0': 'filter_all', 'all_rows_4': 'all_rows', 'name_5': 'name', '8_6': '8'}
['lane', 'name', 'nationality', '100 m', '150 m', 'time']
[['5', 'michael phelps', 'united states', '51.00', '1:17.73', '1:43.86 wr'], ['4', 'pieter van den hoogenband', 'netherlands', '51.17', '1:18.16', '1:46.28'], ['2', 'park tae - hwan', 'south korea', '52.74', '1:19.51', '1:46.73'], ['6', 'kenrick monk', 'australia', '52.52', '1:19.88', '1:47.12'], ['3', 'massimiliano rosolino', 'italy', '52.02', '1:19.15', '1:47.18'], ['7', 'zhang lin', 'china', '53.22', '1:20.89', '1:47.53'], ['1', 'paul biedermann', 'germany', '53.17', '1:20.60', '1:48.09'], ['8', 'nicola cassio', 'italy', '53.37', '1:21.00', '1:49.13']]