Assertion list
blank (primary) → HasA
Results from Ascent++: 3
blank → HasA → hole 0.25
blank → HasA → one argument 0.25
blank → HasA → word 0.25