Assertion list
length (aspect of triangle ) → HasProperty
Results from Ascent++: 3
length → HasProperty → equal 0.68
length → HasProperty → proportional 0.42
length → HasProperty → zero 0.25