Assertion list
ram (primary) → IsA
Results from Ascent++: 2
ram → IsA → animal 0.25
ram → IsA → male sheep 0.25