Assertion list
adoption (primary) → IsA
Results from Ascent++: 1
adoption → IsA → blessing 0.35