Premise: Die US-Raumfähre Atlantis und ihre siebenköpfige Besatzung haben am Mittwoch ihre Verfolgung der International Space Station (ISS) abgeschlossen und um 12:05 Uhr EDT (1605 GMT) an den orbitalen Außenposten angedockt.
Hypothesis: Die US-Raumfähre Atlantis dockt an die Raumstation Mir an.
Label: contradiction