Assertion list
side (aspect of pentagon ) → HasProperty
Results from Ascent++: 1
side → HasProperty → equal 0.84