Assertion: telescope's instrument | /r/HasProperty | replaced with one
Facets:
value: in subsequent missions
type: TEMPORAL
value: with built-in optical correction
type: OTHER
Source sentences:
text: In subsequent missions, Hubble’s instruments have all been replaced with ones with built-in optical correction, meaning COSTAR was no longer needed.