Assertion list
butler (primary) → AtLocation
Results from Ascent++: 2
butler → AtLocation → the mix 0.29
butler → AtLocation → prison 0.25