Assertion list
right (aspect of neighbor ) → AtLocation
Results from Ascent++: 1
right → AtLocation → stake 0.29