Assertion list
eggplant (primary) → IsA
Results from Ascent++: 3
eggplant → IsA → fruit 0.67
eggplant → IsA → vegetable 0.54
eggplant → IsA → formidable-looking vegetable 0.13