Assertion list
root node (subgroup of node ) → ReceivesAction

Results from Ascent++: 3
root nodeReceivesAction reached 0.63
root nodeReceivesAction deleted 0.27
root nodeReceivesAction assumed 0.25