Representing Meaning with a Combination of Logical and Distributional Models
A Machine-Oriented Logic Based on the Resolution Principle