Assertion list
freezer (primary) → AtLocation
Results from Ascent++: 2
freezer → AtLocation → garage 0.25
freezer → AtLocation → the kitchen 0.25