Assertion list
kris (primary) → AtLocation
Results from Ascent++: 2
kris → AtLocation → band 0.25
kris → AtLocation → seattle 0.25