Assertion list
innocent (primary) → AtLocation
Results from Ascent++: 3
innocent → AtLocation → denial 0.28
innocent → AtLocation → jail 0.16
innocent → AtLocation → wrong place 0.00