list of tallest buildings in germany
there are two buildings in germany that are at least 800 feet tall .
{'scope': 'all', 'criterion': 'greater_than_eq', 'value': '800', 'result': '2', 'col': '4', 'subset': None}
{'func': 'eq', 'args': [{'func': 'count', 'args': [{'func': 'filter_greater_eq', 'args': ['all_rows', 'height ( ft )', '800'], 'result': None, 'ind': 0, 'tointer': 'select the rows whose height ( ft ) record is greater than or equal to 800 .', 'tostr': 'filter_greater_eq { all_rows ; height ( ft ) ; 800 }'}], 'result': '2', 'ind': 1, 'tostr': 'count { filter_greater_eq { all_rows ; height ( ft ) ; 800 } }', 'tointer': 'select the rows whose height ( ft ) record is greater than or equal to 800 . the number of such rows is 2 .'}, '2'], 'result': True, 'ind': 2, 'tostr': 'eq { count { filter_greater_eq { all_rows ; height ( ft ) ; 800 } } ; 2 } = true', 'tointer': 'select the rows whose height ( ft ) record is greater than or equal to 800 . the number of such rows is 2 .'}
eq { count { filter_greater_eq { all_rows ; height ( ft ) ; 800 } } ; 2 } = true
select the rows whose height ( ft ) record is greater than or equal to 800 . the number of such rows is 2 .
{'eq_2': 'eq', 'result_3': 'true', 'count_1': 'count', 'filter_greater_eq_0': 'filter_greater_eq', 'all_rows_4': 'all_rows', 'height (ft)_5': 'height ( ft )', '800_6': '800', '2_7': '2'}
['name', 'city', 'height ( m )', 'height ( ft )', 'floors', 'years as tallest']
[['commerzbank tower', 'frankfurt', '259', '850', '56', '1997 - present'], ['messeturm', 'frankfurt', '257', '843', '55', '1990 - 1997'], ['silberturm', 'frankfurt', '166', '545', '32', '1978 - 1990'], ['westend gate', 'frankfurt', '159', '522', '47', '1976 - 1978'], ['colonia - hochhaus', 'cologne', '147', '482', '42', '1973 - 1976'], ['city - hochhaus leipzig', 'leipzig', '143', '468', '36', '1972 - 1973'], ['bayer - hochhaus', 'leverkusen', '122', '400', '29', '1963 - 1972'], ['friedrich - engelhorn - hochhaus', 'ludwigshafen', '102', '335', '28', '1957 - 1963']]