Assertion list
kitty (primary) → IsA
Results from Ascent++: 1
kitty → IsA → cat 0.59