Assertion list
apple tree (primary) → HasA
Results from Ascent++: 1
apple tree → HasA → leave 0.41