damage to major ships at the battle of jutland
the ship könig sustained the highest number of 13.5-inch / 1400lb damages to german ships in the battle .
{'scope': 'all', 'col_superlative': '2', 'row_superlative': '4', 'value_mentioned': 'no', 'max_or_min': 'max', 'other_col': '1', 'subset': None}
{'func': 'str_eq', 'args': [{'func': 'str_hop', 'args': [{'func': 'argmax', 'args': ['all_rows', '13.5 - inch / 1400lb'], 'result': None, 'ind': 0, 'tostr': 'argmax { all_rows ; 13.5 - inch / 1400lb }'}, 'ship'], 'result': 'könig', 'ind': 1, 'tostr': 'hop { argmax { all_rows ; 13.5 - inch / 1400lb } ; ship }'}, 'könig'], 'result': True, 'ind': 2, 'tostr': 'eq { hop { argmax { all_rows ; 13.5 - inch / 1400lb } ; ship } ; könig } = true', 'tointer': 'select the row whose 13.5 - inch / 1400lb record of all rows is maximum . the ship record of this row is könig .'}
eq { hop { argmax { all_rows ; 13.5 - inch / 1400lb } ; ship } ; könig } = true
select the row whose 13.5 - inch / 1400lb record of all rows is maximum . the ship record of this row is könig .
{'str_eq_2': 'str_eq', 'result_3': 'true', 'str_hop_1': 'str_hop', 'argmax_0': 'argmax', 'all_rows_4': 'all_rows', '13.5 - inch / 1400lb_5': '13.5 - inch / 1400lb', 'ship_6': 'ship', 'könig_7': 'könig'}
['ship', '13.5 - inch / 1400lb', '13.5 - inch / 1250lb', '12 - inch', 'total']
[['lützow', '0', '2', '8', '10'], ['derfflinger', '0', '0', '3', '3'], ['seydlitz', '0', '0', '1', '1'], ['könig', '7', '1', '0', '8'], ['markgraf', '0', '1', '0', '1'], ['total', '7', '4', '12', '23']]