Assertion list
cadaver (primary) → HasProperty
Results from Ascent++: 3
cadaver → HasProperty → scarce 0.40
cadaver → HasProperty → expensive 0.33
cadaver → HasProperty → essential 0.25