user: Question: What is the Total amount of world records for Roger Francois?
Columns: ['World Record', 'Press', '103.5', 'Roger François', 'Paris ( FRA )']
Types: ['text', 'text', 'text', 'text', 'text']
Sample row: ['Snatch', '104.5', 'Hans Haas', 'Vienna ( AUT )', '1927']
SQL:

assistant: SELECT SUM("Roger François") FROM "Table" WHERE "World Record" = 'Total';