Assertion list
hereditary peer (subgroup of peer ) → ReceivesAction
Results from Ascent++: 1
hereditary peer → ReceivesAction → removed 0.84