What is the semantic term for the relationship where the truth of sentence A ('John killed the spider') guarantees the truth of sentence B ('The spider died')?

1. ক
   Presupposition
   
2. খ
   Entailment
   
3. গ
   Ambiguity
   
4. ঘ
   Anomaly