Assertion list
diet (aspect of monkey ) → AtLocation
Results from Ascent++: 1
diet → AtLocation → tree 0.25