Assertion list
horse (aspect of jockey ) → IsA
Results from Ascent++: 1
horse → IsA → animal 0.25