!Presuppostion!
The reason why it is an presupposition and not an entailment is:
Back to the NMTS-Group3.