Assertion list
melon (primary) → IsA
Results from Ascent++: 2
melon → IsA → fruit 0.45
melon → IsA → the best fruit 0.16