Assertion: satellite | /r/HasProperty | marked unhealthy
Facets:
Source sentences:
text: Satellite maneuvers are not precise by GPS standards—so to change a satellite's orbit, the satellite must be marked unhealthy, so receivers don't use it.