Assertion list
side (aspect of triangle ) → AtLocation
Results from Ascent++: 1
side → AtLocation → the ratio 0.36