Assertion list
burglar (primary) → AtLocation
Results from Ascent++: 2
burglar → AtLocation → the house 0.51
burglar → AtLocation → the building 0.16