None
Entailment
