Prémisse : La navette spatiale américaine Atlantis, ses feux clignotant comme un phare, s'est amarrée en douceur à la station spatiale russe Mir mercredi lors de sa mission pour récupérer l'astronaute américaine Shannon Lucid, qui a passé un record de six mois en orbite.
Hypothèse : La navette américaine Atlantis s'arrime à la station spatiale Mir.
Relation : entailment