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