Assertion list
derived class (subgroup of class ) → ReceivesAction
Results from Ascent++: 2
derived class → ReceivesAction → inherited 0.65
derived class → ReceivesAction → created 0.50