Semantic Construction Grammar: Bridging the NL / Logic Divide
Wide-Coverage Semantic Analysis with Boxer