Assertion list
ice cream (primary) → AtLocation
Results from Ascent++: 2
ice cream → AtLocation → the freezer 0.60
ice cream → AtLocation → the fridge 0.32