Using first-order logic to compress sentences
Function-Based Question Classification for General QA