Assertion list
thief (primary) → AtLocation
Results from Ascent++: 3
thief → AtLocation → paradise 0.50
thief → AtLocation → the house 0.28
thief → AtLocation → jail 0.27