Assertion list
prologue (primary) → HasA

Results from Ascent++: 1
prologueHasA purpose 0.25