Assertion list
brave (primary) → HasA
Results from Ascent++: 1
brave → HasA → a built 0.25