Assertion list
gray fox (subgroup of fox ) → HasA
Results from Ascent++: 1
gray fox → HasA → black-tipped tail 0.25