Assertion list
cleaver (primary) → HasA
Results from Ascent++: 2
cleaver → HasA → hole 0.41
cleaver → HasA → rectangular blade 0.25