Assertion list
physical death (subgroup of death ) → AtLocation
Results from Ascent++: 2
physical death → AtLocation → the world 0.25
physical death → AtLocation → view 0.25