entailment
Entailment refers to the semantic relationship between propositions of which one logically follows from another. For example, the sentence “I bought a dog yesterday” entails “I bought an animal yesterday”.