Assertion list
acorn (primary) → IsA
Results from Ascent++: 2
acorn → IsA → the nut 0.36
acorn → IsA → fruit 0.29