Assertion list
butte (primary) → HasA

Results from Ascent++: 1
butteHasA flat top 0.25