Cross-sentence Informational Subsumption and Equivalence
Subsumption: If the information content of sentence a (denoted as I(a)) is contained within sentence b, then a becomes informationally redundant and the content of b is said to subsume that of a: I(a) ? I(b)
Equivalence: If I(a) ? I(b) ? I(b) ? I(a)