Assertion list
regular polygon (subgroup of polygon ) → HasProperty

Results from Ascent++: 1
regular polygonHasProperty equilateral 0.68