ผลรวมของผลรวมเมื่อผู้เล่นคือ "Tommy Bolt" เป็นเท่าใด?ไม่จำเป็นต้องใช้ตารางทั้งหมด
What is the sum of Total when Player is "Tommy Bolt"?It is not neccessary to use all the tables.
 table_name_4:  (total [ INTEGER ] player [ VARCHAR) ]
SELECT SUM(total) FROM table_name_4 WHERE player = "tommy bolt"