Assertion list
new consensus (subgroup of consensus ) → ReceivesAction
Results from Ascent++: 1
new consensus → ReceivesAction → reached 0.52