Assertion list
side (aspect of parallelogram ) → AtLocation
Results from Ascent++: 2
side → AtLocation → the ratio 0.40
side → AtLocation → the ratio of 12 0.25