Assertion list
marsupial (primary) → HasA
Results from Ascent++: 1
marsupial → HasA → pouch 0.49