Assertion list
echidna (primary) → HasProperty
Results from Ascent++: 3
echidna → HasProperty → active 0.40
echidna → HasProperty → immortal 0.25
echidna → HasProperty → shy 0.25