Assertion list
regular polygon (subgroup of polygon ) → IsA
Results from Ascent++: 1
regular polygon → IsA → polygon 0.50