Who had a function of explorator?
CREATE TABLE table_name_9 (name VARCHAR, function VARCHAR)
SELECT name FROM table_name_9 WHERE function = "explorator"
### Context: CREATE TABLE table_name_9 (name VARCHAR, function VARCHAR) ### Question: Who had a function of explorator? ### Answer: SELECT name FROM table_name_9 WHERE function = "explorator"