Assertion list
heifer (primary) → IsA
Results from Ascent++: 2
heifer → IsA → cow 0.54
heifer → IsA → young cow 0.40