list of european ultra prominent peaks
the peak store lenangstind has a lower elevation than the peak galdhøpiggen .
{'row_1': '5', 'row_2': '1', 'col': '3', 'col_other': '1', 'relation': 'less', 'record_mentioned': 'no', 'diff_result': None}
{'func': 'less', 'args': [{'func': 'num_hop', 'args': [{'func': 'filter_str_eq', 'args': ['all_rows', 'peak', 'store lenangstind'], 'result': None, 'ind': 0, 'tointer': 'select the rows whose peak record fuzzily matches to store lenangstind .', 'tostr': 'filter_eq { all_rows ; peak ; store lenangstind }'}, 'elevation ( m )'], 'result': None, 'ind': 2, 'tostr': 'hop { filter_eq { all_rows ; peak ; store lenangstind } ; elevation ( m ) }', 'tointer': 'select the rows whose peak record fuzzily matches to store lenangstind . take the elevation ( m ) record of this row .'}, {'func': 'num_hop', 'args': [{'func': 'filter_str_eq', 'args': ['all_rows', 'peak', 'galdhøpiggen'], 'result': None, 'ind': 1, 'tointer': 'select the rows whose peak record fuzzily matches to galdhøpiggen .', 'tostr': 'filter_eq { all_rows ; peak ; galdhøpiggen }'}, 'elevation ( m )'], 'result': None, 'ind': 3, 'tostr': 'hop { filter_eq { all_rows ; peak ; galdhøpiggen } ; elevation ( m ) }', 'tointer': 'select the rows whose peak record fuzzily matches to galdhøpiggen . take the elevation ( m ) record of this row .'}], 'result': True, 'ind': 4, 'tostr': 'less { hop { filter_eq { all_rows ; peak ; store lenangstind } ; elevation ( m ) } ; hop { filter_eq { all_rows ; peak ; galdhøpiggen } ; elevation ( m ) } } = true', 'tointer': 'select the rows whose peak record fuzzily matches to store lenangstind . take the elevation ( m ) record of this row . select the rows whose peak record fuzzily matches to galdhøpiggen . take the elevation ( m ) record of this row . the first record is less than the second record .'}
less { hop { filter_eq { all_rows ; peak ; store lenangstind } ; elevation ( m ) } ; hop { filter_eq { all_rows ; peak ; galdhøpiggen } ; elevation ( m ) } } = true
select the rows whose peak record fuzzily matches to store lenangstind . take the elevation ( m ) record of this row . select the rows whose peak record fuzzily matches to galdhøpiggen . take the elevation ( m ) record of this row . the first record is less than the second record .
{'less_4': 'less', 'result_5': 'true', 'num_hop_2': 'num_hop', 'filter_str_eq_0': 'filter_str_eq', 'all_rows_6': 'all_rows', 'peak_7': 'peak', 'store lenangstind_8': 'store lenangstind', 'elevation (m)_9': 'elevation ( m )', 'num_hop_3': 'num_hop', 'filter_str_eq_1': 'filter_str_eq', 'all_rows_10': 'all_rows', 'peak_11': 'peak', 'galdhøpiggen_12': 'galdhøpiggen', 'elevation (m)_13': 'elevation ( m )'}
['peak', 'country', 'elevation ( m )', 'prominence ( m )', 'col ( m )']
[['galdhøpiggen', 'norway', '2469', '2372', '97'], ['kebnekaise', 'sweden', '2113', '1754', '359'], ['jiehkkevárri', 'norway', '1834', '1741', '93'], ['snøhetta', 'norway', '2286', '1675', '611'], ['store lenangstind', 'norway', '1624', '1576', '48'], ['sarektjåhkkå', 'sweden', '2089', '1519', '570']]