Assertion list
opossum (primary) → IsA
Results from Ascent++: 1
opossum → IsA → marsupial 0.46