equatorial bulge
among the planets with equatorial bulge above 1000 km , 2 of them have polar diameter greater than 100,000 km .
{'scope': 'subset', 'criterion': 'greater_than', 'value': '100,000', 'result': '2', 'col': '3', 'subset': {'col': '4', 'criterion': 'greater_than', 'value': '1000'}}
{'func': 'eq', 'args': [{'func': 'count', 'args': [{'func': 'filter_greater', 'args': [{'func': 'filter_greater', 'args': ['all_rows', 'equatorial bulge', '1000'], 'result': None, 'ind': 0, 'tostr': 'filter_greater { all_rows ; equatorial bulge ; 1000 }', 'tointer': 'select the rows whose equatorial bulge record is greater than 1000 .'}, 'polar diameter', '100,000'], 'result': None, 'ind': 1, 'tointer': 'select the rows whose equatorial bulge record is greater than 1000 . among these rows , select the rows whose polar diameter record is greater than 100,000 .', 'tostr': 'filter_greater { filter_greater { all_rows ; equatorial bulge ; 1000 } ; polar diameter ; 100,000 }'}], 'result': '2', 'ind': 2, 'tostr': 'count { filter_greater { filter_greater { all_rows ; equatorial bulge ; 1000 } ; polar diameter ; 100,000 } }', 'tointer': 'select the rows whose equatorial bulge record is greater than 1000 . among these rows , select the rows whose polar diameter record is greater than 100,000 . the number of such rows is 2 .'}, '2'], 'result': True, 'ind': 3, 'tostr': 'eq { count { filter_greater { filter_greater { all_rows ; equatorial bulge ; 1000 } ; polar diameter ; 100,000 } } ; 2 } = true', 'tointer': 'select the rows whose equatorial bulge record is greater than 1000 . among these rows , select the rows whose polar diameter record is greater than 100,000 . the number of such rows is 2 .'}
eq { count { filter_greater { filter_greater { all_rows ; equatorial bulge ; 1000 } ; polar diameter ; 100,000 } } ; 2 } = true
select the rows whose equatorial bulge record is greater than 1000 . among these rows , select the rows whose polar diameter record is greater than 100,000 . the number of such rows is 2 .
{'eq_3': 'eq', 'result_4': 'true', 'count_2': 'count', 'filter_greater_1': 'filter_greater', 'filter_greater_0': 'filter_greater', 'all_rows_5': 'all_rows', 'equatorial bulge_6': 'equatorial bulge', '1000_7': '1000', 'polar diameter_8': 'polar diameter', '100,000_9': '100,000', '2_10': '2'}
['body', 'equatorial diameter', 'polar diameter', 'equatorial bulge', 'flattening ratio']
[['earth', '12756.28 km', '12713.56 km', '42.72 km', '1:298.2575'], ['mars', '6805 km', '6754.8 km', '50.2 km', '1:135.56'], ['ceres', '975 km', '909 km', '66 km', '1:14.77'], ['jupiter', '143884 km', '133709 km', '10175 km', '1:14.14'], ['saturn', '120536 km', '108728 km', '11808 km', '1:10.21'], ['uranus', '51118 km', '49946 km', '1172 km', '1:43.62'], ['neptune', '49528 km', '48682 km', '846 km', '1:58.54']]