RTE, also know as natural language inference (NLI).
See also Natural Language Explanations
Figure from Wu 2021 and MacCartney and Manning 2009.