Assertion list
quagga (primary) → HasProperty
Results from Ascent++: 1
quagga → HasProperty → extinct 0.59