wuji county
wuji town is the only entry with 25 villages .
{'scope': 'all', 'row': '1', 'col': '5', 'col_other': '1', 'criterion': 'equal', 'value': '25', 'subset': None}
{'func': 'and', 'args': [{'func': 'only', 'args': [{'func': 'filter_eq', 'args': ['all_rows', 'villages', '25'], 'result': None, 'ind': 0, 'tointer': 'select the rows whose villages record is equal to 25 .', 'tostr': 'filter_eq { all_rows ; villages ; 25 }'}], 'result': True, 'ind': 1, 'tostr': 'only { filter_eq { all_rows ; villages ; 25 } }', 'tointer': 'select the rows whose villages record is equal to 25 . there is only one such row in the table .'}, {'func': 'str_eq', 'args': [{'func': 'str_hop', 'args': [{'func': 'filter_eq', 'args': ['all_rows', 'villages', '25'], 'result': None, 'ind': 0, 'tointer': 'select the rows whose villages record is equal to 25 .', 'tostr': 'filter_eq { all_rows ; villages ; 25 }'}, 'name'], 'result': 'wuji town', 'ind': 2, 'tostr': 'hop { filter_eq { all_rows ; villages ; 25 } ; name }'}, 'wuji town'], 'result': True, 'ind': 3, 'tostr': 'eq { hop { filter_eq { all_rows ; villages ; 25 } ; name } ; wuji town }', 'tointer': 'the name record of this unqiue row is wuji town .'}], 'result': True, 'ind': 4, 'tostr': 'and { only { filter_eq { all_rows ; villages ; 25 } } ; eq { hop { filter_eq { all_rows ; villages ; 25 } ; name } ; wuji town } } = true', 'tointer': 'select the rows whose villages record is equal to 25 . there is only one such row in the table . the name record of this unqiue row is wuji town .'}
and { only { filter_eq { all_rows ; villages ; 25 } } ; eq { hop { filter_eq { all_rows ; villages ; 25 } ; name } ; wuji town } } = true
select the rows whose villages record is equal to 25 . there is only one such row in the table . the name record of this unqiue row is wuji town .
{'and_4': 'and', 'result_5': 'true', 'only_1': 'only', 'filter_eq_0': 'filter_eq', 'all_rows_6': 'all_rows', 'villages_7': 'villages', '25_8': '25', 'str_eq_3': 'str_eq', 'str_hop_2': 'str_hop', 'name_9': 'name', 'wuji town_10': 'wuji town'}
['name', 'hanzi', 'area ( km square )', 'population', 'villages']
[['wuji town', '无极镇', '57', '76851', '25'], ['qiji town', '七汲镇', '54', '41584', '20'], ['zhangduangu town', '张段固镇', '51', '40916', '20'], ['beisu town', '北苏镇', '54', '54639', '18'], ['guozhuang town', '郭庄镇', '43', '43636', '23'], ['dachen town', '大陈镇', '42', '31297', '13'], ['haozhuang township', '郝庄乡', '55', '37786', '19'], ['donghoufang township', '东侯坊乡', '56', '48665', '24'], ['lichengdao township', '里城道乡', '44', '40411', '19'], ['nanliu township', '南流乡', '30', '24802', '12'], ['gaotou hui autonomous township', '高头回族乡', '32', '33722', '15']]