Assertion list
private (primary) → HasA
Results from Ascent++: 1
private → HasA → same meaning 0.25