Assertion list
value (aspect of promise ) → AtLocation
Results from Ascent++: 1
value → AtLocation → stake 0.30