Declarative Question Answering over Knowledge Bases containing Natural Language Text with Answer Set Programming
Wide-Coverage Semantic Analysis with Boxer