Assertion list
stallion (primary) → IsA
Results from Ascent++: 2
stallion → IsA → male horse 0.64
stallion → IsA → horse 0.21