Assertion list
milk (primary) → AtLocation
Results from Ascent++: 4
milk → AtLocation → right temperature 0.61
milk → AtLocation → the fridge 0.39
milk → AtLocation → office 0.29
milk → AtLocation → the back 0.27