Assertion list for term "verified for three consecutive cycles".
Results from Ascent++: 1
capture → ReceivesAction → verified for three consecutive cycles 0.25