Assertion list
hoof (aspect of horse ) → IsA
Results from Ascent++: 1
hoof → IsA → dynamic structure 0.35