Table schema:
CREATE TABLE table_name_31 (office VARCHAR, prohibition_ticket VARCHAR)

Question: What office did Henry Hagner run for on the prohibition ticket?
SQL: SELECT office FROM table_name_31 WHERE prohibition_ticket = "henry hagner"