Assertion list
integer (primary) → AtLocation
Results from Ascent++: 2
integer → AtLocation → set a 0.28
integer → AtLocation → the range 0.25