Assertion list
base class (subgroup of class ) → IsA
Results from Ascent++: 2
base class → IsA → object 0.52
base class → IsA → class 0.25