Assertion list
red wolf (subgroup of wolf ) → HasProperty
Results from Ascent++: 4
red wolf → HasProperty → extinct 0.62
red wolf → HasProperty → smaller 0.48
red wolf → HasProperty → brown 0.45
red wolf → HasProperty → territorial 0.16