Assertion list for term "rendered inoperative".

Results from Ascent++: 1
circuit ReceivesActionrendered inoperative 0.26