Assertion list
tusk (aspect of elephant ) → IsA
Results from Ascent++: 1
tusk → IsA → tooth 0.49