Assertion list
belladonna (primary) → HasProperty
Results from Ascent++: 4
belladonna → HasProperty → useful 0.61
belladonna → HasProperty → fatal 0.57
belladonna → HasProperty → safe 0.38
belladonna → HasProperty → unsafe 0.16