Assertion list
fainting goat (subgroup of goat ) → CapableOf
Results from Ascent++: 1
fainting goat → CapableOf → weigh 0.25