Assertion list
data node (subgroup of node ) → ReceivesAction
Results from Ascent++: 1
data node → ReceivesAction → identified by node_id 0.39