Assertion list
catalog (primary) → IsA
Results from Ascent++: 1
catalog → IsA → list 0.32