Assertion list
side (aspect of hexagon ) → HasProperty
Results from Ascent++: 3
side → HasProperty → equal 0.84
side → HasProperty → parallel 0.25
side → HasProperty → straight 0.16