Assertion list
calorie (aspect of cookie ) → AtLocation
Results from Ascent++: 1
calorie → AtLocation → each cookie 0.74