Assertion list
typewriter (primary) → HasA
Results from Ascent++: 2
typewriter → HasA → fewer keys 0.25
typewriter → HasA → missingkeys 0.25