Assertion list
horse hoof (subgroup of hoof ) → IsA
Results from Ascent++: 1
horse hoof → IsA → structure 0.68