Assertion list
male goat (subgroup of goat ) → HasProperty
Results from Ascent++: 2
male goat → HasProperty → streaked 0.25
male goat → HasProperty → stinky 0.16