Representing Meaning with a Combination of Logical Form and Vectors.
Wide-Coverage Semantic Analysis with Boxer