What is the number of Mike Thomas?
CREATE TABLE table_20860739_1 (position VARCHAR, player VARCHAR)
SELECT COUNT(position) FROM table_20860739_1 WHERE player = "Mike Thomas"
### Context: CREATE TABLE table_20860739_1 (position VARCHAR, player VARCHAR) ### Question: What is the number of Mike Thomas? ### Answer: SELECT COUNT(position) FROM table_20860739_1 WHERE player = "Mike Thomas"