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