Assertion: void's power | /r/HasProperty | lost
Facets:
Source sentences:
text: Most other reactor types use top entry control rods that are held up in the withdrawn position by electromagnets, causing them to fall into the reactor by gravity if power is lost.