Assertion list
refrigerator (primary) → AtLocation
Results from Ascent++: 3
refrigerator → AtLocation → the kitchen 0.38
refrigerator → AtLocation → the event 0.25
refrigerator → AtLocation → the garage 0.25