1970 isle of man tt
the rider representing australia won first place with 15 points during the 1970 isle of man tt .
{'scope': 'all', 'col_superlative': '7', 'row_superlative': '1', 'value_mentioned': 'yes', 'max_or_min': 'max', 'other_col': '1,3', 'subset': None}
{'func': 'and', 'args': [{'func': 'eq', 'args': [{'func': 'max', 'args': ['all_rows', 'points'], 'result': '15', 'ind': 0, 'tostr': 'max { all_rows ; points }', 'tointer': 'the maximum points record of all rows is 15 .'}, '15'], 'result': True, 'ind': 1, 'tostr': 'eq { max { all_rows ; points } ; 15 }', 'tointer': 'the maximum points record of all rows is 15 .'}, {'func': 'and', 'args': [{'func': 'eq', 'args': [{'func': 'num_hop', 'args': [{'func': 'argmax', 'args': ['all_rows', 'points'], 'result': None, 'ind': 2, 'tostr': 'argmax { all_rows ; points }'}, 'place'], 'result': '1', 'ind': 3, 'tostr': 'hop { argmax { all_rows ; points } ; place }'}, '1'], 'result': True, 'ind': 4, 'tostr': 'eq { hop { argmax { all_rows ; points } ; place } ; 1 }', 'tointer': 'the place record of the row with superlative points record is 1 .'}, {'func': 'str_eq', 'args': [{'func': 'str_hop', 'args': [{'func': 'argmax', 'args': ['all_rows', 'points'], 'result': None, 'ind': 2, 'tostr': 'argmax { all_rows ; points }'}, 'country'], 'result': 'australia', 'ind': 5, 'tostr': 'hop { argmax { all_rows ; points } ; country }'}, 'australia'], 'result': True, 'ind': 6, 'tostr': 'eq { hop { argmax { all_rows ; points } ; country } ; australia }', 'tointer': 'the country record of the row with superlative points record is australia .'}], 'result': True, 'ind': 7, 'tostr': 'and { eq { hop { argmax { all_rows ; points } ; place } ; 1 } ; eq { hop { argmax { all_rows ; points } ; country } ; australia } }', 'tointer': 'the place record of the row with superlative points record is 1 . the country record of the row with superlative points record is australia .'}], 'result': True, 'ind': 8, 'tostr': 'and { eq { max { all_rows ; points } ; 15 } ; and { eq { hop { argmax { all_rows ; points } ; place } ; 1 } ; eq { hop { argmax { all_rows ; points } ; country } ; australia } } } = true', 'tointer': 'the maximum points record of all rows is 15 . the place record of the row with superlative points record is 1 . the country record of the row with superlative points record is australia .'}
and { eq { max { all_rows ; points } ; 15 } ; and { eq { hop { argmax { all_rows ; points } ; place } ; 1 } ; eq { hop { argmax { all_rows ; points } ; country } ; australia } } } = true
the maximum points record of all rows is 15 . the place record of the row with superlative points record is 1 . the country record of the row with superlative points record is australia .
{'and_8': 'and', 'result_9': 'true', 'eq_1': 'eq', 'max_0': 'max', 'all_rows_10': 'all_rows', 'points_11': 'points', '15_12': '15', 'and_7': 'and', 'eq_4': 'eq', 'num_hop_3': 'num_hop', 'argmax_2': 'argmax', 'all_rows_13': 'all_rows', 'points_14': 'points', 'place_15': 'place', '1_16': '1', 'str_eq_6': 'str_eq', 'str_hop_5': 'str_hop', 'country_17': 'country', 'australia_18': 'australia'}
['place', 'rider', 'country', 'machine', 'speed', 'time', 'points']
[['1', 'kel carruthers', 'australia', 'yamaha', '96.13 mph', '2:21.19.2', '15'], ['2', 'rod gould', 'united kingdom', 'yamaha', '93.75 mph', '2:24.54.0', '12'], ['3', 'günter bartusch', 'east germany', 'mz', '93.75 mph', '2:26.58.0', '10'], ['4', 'chas mortimer', 'united kingdom', 'yamaha', '91.95 mph', '2:27.44.2', '8'], ['5', 'peter berwick', 'united kingdom', 'suzuki', '91.93 mph', '2:27.46.0', '6'], ['6', 'alex george', 'united kingdom', 'yamaha', '91.42 mph', '2:28.35.8', '5'], ['7', 'ian richardson', 'united kingdom', 'yamaha', '91.22 mph', '2:28.53.6', '4'], ['8', 'börje jansson', 'sweden', 'yamaha', '90.57 mph', '2:29.59.6', '3'], ['9', 'tony smith', 'united kingdom', 'yamaha', '90.44 mph', '2:30.12.2', '2'], ['10', 'bill smith', 'united kingdom', 'yamaha', '90.20 mph', '2:30.36.2', '1']]