Assertion list
calorie (aspect of beer ) → AtLocation
Results from Ascent++: 1
calorie → AtLocation → beer 0.63