Assertion list
side (aspect of triangle ) → IsA
Results from Ascent++: 1
side → IsA → straight line segments 0.25