Assertion list
chap (primary) → HasA
Results from Ascent++: 1
chap → HasA → look 0.25