Question Answering via Integer Programming over Semi-Structured Knowledge | Synapse