Assertion list
european beaver (subgroup of beaver ) → HasProperty
Results from Ascent++: 1
european beaver → HasProperty → extinct 0.68