Assertion list
citizenship (primary) → AtLocation
Results from Ascent++: 1
citizenship → AtLocation → heaven 0.75