Assertion: discovery | /r/HasProperty | followed by atlantis
Facets:
Source sentences:
text: Discovery was the first operational shuttle to be retired, followed by Endeavour and then Atlantis.