Assertion list
cocoa (primary) → AtLocation
Results from Ascent++: 1
cocoa → AtLocation → chocolate 0.16