Assertion list
value (aspect of limit ) → AtLocation
Results from Ascent++: 3
value → AtLocation → lattice or box distance units 0.29
value → AtLocation → quote 0.25
value → AtLocation → the range 0.25