Assertion list
miter (primary) → HasA
Results from Ascent++: 1
miter → HasA → gap 0.25