The theory of semantic entailment derives from the theory of substantial entailment, which applies essentially the theory of substantial entailment.

• 语义蕴涵理论脱胎于实质蕴涵理论，本质上是对实质蕴涵理论的应用。