Assertion list
value (aspect of call ) → AtLocation
Results from Ascent++: 2
value → AtLocation → bcd format 0.25
value → AtLocation → the range 0.25