Assertion list
vertex (aspect of polygon ) → HasProperty
Results from Ascent++: 1
vertex → HasProperty → equidistant 0.25