Identification of Entailment and Contradiction Relations between Natural Language Sentences: A Neurosymbolic Approach. - Xuyao Feng; Anthony Hunter (CoRR, 2024)