Assertion list for term "stopped after receipt of the revocation".
Results from Ascent++: 1
data processing → ReceivesAction → stopped after receipt of the revocation 0.34