Entailment-Preserving First-order Logic Representations in Natural Language Entailment