Assertion list
trunk (aspect of elephant ) → IsA
Results from Ascent++: 1
trunk → IsA → long nose 0.57