Assertion list
calorie (aspect of milk ) → AtLocation
Results from Ascent++: 1
calorie → AtLocation → a pint of milk 0.49