Assertion list
red fox (subgroup of fox ) → HasA
Results from Ascent++: 1
red fox → HasA → red fur 0.25