user: Question: What is the number of Mike Thomas?
Columns: ['Round', 'Choice', 'Player', 'Position', 'Height', 'Weight', 'College']
Types: ['real', 'real', 'text', 'text', 'text', 'real', 'text']
Sample row: [1.0, 8.0, 'Eugene Monroe', 'Offensive tackle', "6'5", 311.0, 'Virginia']
SQL:

assistant: SELECT COUNT("Position") FROM "Table" WHERE "Player" = 'Mike Thomas';