Assertion list
colon (primary) → HasA
Results from Ascent++: 1
colon → HasA → several uses 0.25