Ascent++ | reached in case

Assertion list for term "reached in case".

Results from Ascent++: 2

agreement → ReceivesAction → reached in case	0.23
consensus → ReceivesAction → reached in case	0.14