Assertion list
diver (primary) → IsA
Results from Ascent++: 1
diver → IsA → explorer 0.38