Assertion list
dodo (primary) → HasProperty
Results from Ascent++: 2
dodo → HasProperty → endemic 0.49
dodo → HasProperty → smart 0.28