Assertion list
human life (subgroup of life ) → AtLocation
Results from Ascent++: 1
human life → AtLocation → stake 0.25