Assertion list
liger (primary) → IsA
Results from Ascent++: 1
liger → IsA → the largest cat 0.16