Entailment-Preserving First-order Logic Representations in Natural Language Entailment | Read Paper on Bytez