Assertion list
fainting goat (subgroup of goat ) → HasProperty
Results from Ascent++: 1
fainting goat → HasProperty → smaller 0.16