Assertion list
murderer (primary) → AtLocation
Results from Ascent++: 2
murderer → AtLocation → jail 0.29
murderer → AtLocation → heaven 0.16