Assertion list
caffeine (aspect of carob ) → AtLocation

Results from Ascent++: 1
caffeineAtLocation chocolate 0.25