CREATE TABLE table_name_31 (office VARCHAR(255), prohibition_ticket VARCHAR(255))
What office did Henry Hagner run for on the prohibition ticket?
    
SQL: SELECT office FROM table_name_31 WHERE prohibition_ticket = "henry hagner"