Table schema:
CREATE TABLE table_name_67 (city VARCHAR, short_name VARCHAR)

Question: What city has the nickname of pontisola?
SQL: SELECT city FROM table_name_67 WHERE short_name = "pontisola"