Assertion list
hoof (aspect of horse ) → HasPrerequisite
Results from Ascent++: 2
hoof → HasPrerequisite → attention 0.25
hoof → HasPrerequisite → constant attention 0.25