Assertion list
hoof (aspect of horse ) → HasA
Results from Ascent++: 1
hoof → HasA → good blood circulation 0.16