Assertion list
root node (subgroup of node ) → ReceivesAction
Results from Ascent++: 3
root node → ReceivesAction → reached 0.63
root node → ReceivesAction → deleted 0.27
root node → ReceivesAction → assumed 0.25