Assertion list
terminus (primary) → ReceivesAction
Results from Ascent++: 2
terminus → ReceivesAction → reached 0.68
terminus → ReceivesAction → planned to be extended to malha… 0.25