Assertion list
banker (primary) → AtLocation
Results from Ascent++: 3
banker → AtLocation → bed 0.25
banker → AtLocation → london 0.25
banker → AtLocation → part 0.16