Assertion list
mourner (primary) → AtLocation
Results from Ascent++: 1
mourner → AtLocation → shloshim 0.29