Assertion list
fridge (primary) → AtLocation
Results from Ascent++: 3
fridge → AtLocation → the kitchen 0.36
fridge → AtLocation → correct temperature 0.30
fridge → AtLocation → 5°c 0.25