Assertion list
ghost (primary) → DefinedAs
Results from Ascent++: 1
ghost → DefinedAs → soul 0.35