On June 29, 1995, the Space Shuttle Atlantis made history when it docked with the Russian Mir space station, as shown in this photograph.
There were four astronauts on board Atlantis.
( z1 astronaut :quant 4 :location ( z2 spaceship :name ( z3 name :op "Atlantis" ) ) )