Assertion list
bacon (primary) → AtLocation
Results from Ascent++: 3
bacon → AtLocation → the oven 0.60
bacon → AtLocation → the fridge 0.45
bacon → AtLocation → jamestown 0.18