Assertion list
vitamin (aspect of avocado ) → AtLocation
Results from Ascent++: 1
vitamin → AtLocation → avocado 0.27