Clausal implicature typically occurs when an embedded
proposition is neither armed nor denied by the
full utterance. So the utterance of If John sees me
then he will tell Margaret" implicates that the speaker
does not know whether John will see him. The standard
explanation of this is that, based on the Cooperative
Principle, if the speaker knew whether the rst
clause were true or false, he should have said so.