Assertion list
kernel (primary) → IsA
Results from Ascent++: 2
kernel → IsA → the part 0.31
kernel → IsA → central part 0.28