Who had a function of explorator?
CREATE TABLE table_name_9 (
    name VARCHAR,
    function VARCHAR
)
SELECT name FROM table_name_9 WHERE function = "explorator"
Below are sql tables schemas paired with instruction that describes a task. Using valid SQLite, write a response that appropriately completes the request for the provided tables. ### Instruction: Who had a function of explorator? ### Input: CREATE TABLE table_name_9 (
    name VARCHAR,
    function VARCHAR
) ### Response: SELECT name FROM table_name_9 WHERE function = "explorator"