Assertion list
parent node (subgroup of node ) → ReceivesAction
Results from Ascent++: 2
parent node → ReceivesAction → closed 0.68
parent node → ReceivesAction → created 0.68