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