Assertion list for term "retained across reinitializations of the management system".
Results from Ascent++: 1
value → ReceivesAction → retained across reinitializations of the management system 0.42