Assertion list
equine (primary) → HasProperty
Results from Ascent++: 3
equine → HasProperty → happy 0.30
equine → HasProperty → healthy 0.25
equine → HasProperty → sensitive 0.25