Therefore, our approach combines logical and distributional methods.
we use first-order logic as a basic representation, providing a sentence representation that can be easily interpreted and manipulated.