Assertion list
female horse (subgroup of horse ) → HasProperty
Results from Ascent++: 1
female horse → HasProperty → pregnant 0.25