Assertion list
side (aspect of square ) → HasProperty
Results from Ascent++: 5
side → HasProperty → equal 0.84
side → HasProperty → parallel 0.67
side → HasProperty → congruent 0.48
side → HasProperty → square 0.48
side → HasProperty → proportional 0.25