Assertion list
derived class (subgroup of class ) → CapableOf
Results from Ascent++: 2
derived class → CapableOf → override the functionality of b… 0.60
derived class → CapableOf → inherit a base class 0.35