Prémisse : Le 29 juin 1995, la navette spatiale Atlantis est entrée dans l'histoire en s'amarrant à la station spatiale russe Mir, comme le montre cette photo.
Hypothèse : La navette américaine Atlantis s'arrime à la station spatiale Mir.
Relation : entailment