Assertion list
keel (primary) → HasA
Results from Ascent++: 2
keel → HasA → hole 0.25
keel → HasA → tooth 0.25