Assertion list
seed (aspect of apple ) → AtLocation
Results from Ascent++: 1
seed → AtLocation → apple 0.47