Efficient Markov logic inference for natural language semantics
A SICK cure for the evaluation of compositional distributional semantic models