Assertion list
side (aspect of triangle ) → HasProperty
Results from Ascent++: 7
side → HasProperty → equal 0.82
side → HasProperty → congruent 0.72
side → HasProperty → proportional 0.70
side → HasProperty → parallel 0.64
side → HasProperty → unequal 0.57
side → HasProperty → straight 0.44
side → HasProperty → identical 0.25