Open-Domain Semantic Parsing with Boxer
The Meaning Factory: Formal Semantics for Recognizing Textual Entailment and Determining Semantic Similarity