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