Assertion list
octagon (primary) → IsA
Results from Ascent++: 1
octagon → IsA → polygon 0.25