Definition:Semantic Entailment