Assertion list
robber (primary) → AtLocation
Results from Ascent++: 5
robber → AtLocation → jail 0.41
robber → AtLocation → paradise 0.30
robber → AtLocation → the bank 0.25
robber → AtLocation → the store 0.25
robber → AtLocation → the house 0.16