Assertion list
skeleton key (primary) → IsA
Results from Ascent++: 1
skeleton key → IsA → key 0.43