Assertion list
fruit (aspect of banana ) → IsA

Results from Ascent++: 1
fruitIsA right snack 0.16