Assertion list
cashew (primary) → IsA
Results from Ascent++: 3
cashew → IsA → nut 0.48
cashew → IsA → tree 0.46
cashew → IsA → multi-tasking nut 0.25