greater rio de janeiro
metropolitan rio janeiro is the administrative division with the highest population 2000 census among those with area more than 100 km square .
{'scope': 'subset', 'row': '17', 'col': '3', 'order': '1', 'col_other': '1', 'max_or_min': 'max_to_min', 'value_mentioned': 'no', 'subset': {'col': '2', 'criterion': 'greater_than', 'value': '100'}}
{'func': 'str_eq', 'args': [{'func': 'str_hop', 'args': [{'func': 'nth_argmax', 'args': [{'func': 'filter_greater', 'args': ['all_rows', 'area ( km square )', '100'], 'result': None, 'ind': 0, 'tostr': 'filter_greater { all_rows ; area ( km square ) ; 100 }', 'tointer': 'select the rows whose area ( km square ) record is greater than 100 .'}, 'population 2000 census', '1'], 'result': None, 'ind': 1, 'tostr': 'nth_argmax { filter_greater { all_rows ; area ( km square ) ; 100 } ; population 2000 census ; 1 }'}, 'administrative division'], 'result': 'metropolitan rio janeiro', 'ind': 2, 'tostr': 'hop { nth_argmax { filter_greater { all_rows ; area ( km square ) ; 100 } ; population 2000 census ; 1 } ; administrative division }'}, 'metropolitan rio janeiro'], 'result': True, 'ind': 3, 'tostr': 'eq { hop { nth_argmax { filter_greater { all_rows ; area ( km square ) ; 100 } ; population 2000 census ; 1 } ; administrative division } ; metropolitan rio janeiro } = true', 'tointer': 'select the rows whose area ( km square ) record is greater than 100 . select the row whose population 2000 census record of these rows is 1st maximum . the administrative division record of this row is metropolitan rio janeiro .'}
eq { hop { nth_argmax { filter_greater { all_rows ; area ( km square ) ; 100 } ; population 2000 census ; 1 } ; administrative division } ; metropolitan rio janeiro } = true
select the rows whose area ( km square ) record is greater than 100 . select the row whose population 2000 census record of these rows is 1st maximum . the administrative division record of this row is metropolitan rio janeiro .
{'str_eq_3': 'str_eq', 'result_4': 'true', 'str_hop_2': 'str_hop', 'nth_argmax_1': 'nth_argmax', 'filter_greater_0': 'filter_greater', 'all_rows_5': 'all_rows', 'area (km square)_6': 'area ( km square )', '100_7': '100', 'population 2000 census_8': 'population 2000 census', '1_9': '1', 'administrative division_10': 'administrative division', 'metropolitan rio janeiro_11': 'metropolitan rio janeiro'}
['administrative division', 'area ( km square )', 'population 2000 census', 'population ( 2010 census )', 'population density 2010 ( / km square )']
[['belford roxo', '79', '434474', '469261', '5940'], ['duque de caxias', '464.5', '775456', '855046', '1840'], ['guapimirim', '361', '37952', '51487', '143'], ['itaboraí', '424.2', '187479', '218090', '514'], ['japeri', '82.9', '83278', '95391', '1151'], ['magé', '386.6', '205830', '228150', '590'], ['mesquita', '34.8', '0', '168403', '4839'], ['nilópolis', '19.4', '153712', '157483', '8118'], ['niterói', '129.3', '459451', '487327', '3769'], ['nova iguaçu', '523.8', '920599', '797212', '1518'], ['queimados', '77', '121993', '137938', '1791'], ['rio de janeiro', '1260', '5857904', '6323037', '5018'], ['são gonçalo', '249.1', '891119', '1013901', '4014'], ['são joão de meriti', '34.8', '449476', '459356', '13200'], ['seropédica', '284', '65260', '78183', '275'], ['tanguá', '147', '26057', '30731', '209'], ['metropolitan rio janeiro', '4557.4', '10670040', '12603936', '2535']]