Assertion list
octagon (primary) → HasA
Results from Ascent++: 1
octagon → HasA → many sides 0.60