Assertion list
abstract class (subgroup of class ) → IsA
Results from Ascent++: 2
abstract class → IsA → class 0.67
abstract class → IsA → blueprint 0.25