Talk:Textual entailment

Filling the sibling void
I added the following paragraph to the lead:

Determining whether this relationship holds is an informal task, one which sometimes overlaps with the formal tasks of formal semantics (satisfying a strict condition will usually imply satisfaction of a less strict conditioned); additionally, textual entailment partially subsumes word entailment.

Something needed to be said, which I tried to do quickly; in this case, I don't think I managed to do so elegantly (or even accurately), so go right ahead and redress my bodgework appendage if the spirit moves you. &mdash; MaxEnt 01:54, 22 April 2018 (UTC)