Assertion list
deposition (primary) → HasA
Results from Ascent++: 1
deposition → HasA → two purposes 0.28