Assertion list
yes (primary) → HasProperty
Results from Ascent++: 4
yes → HasProperty → good 0.30
yes → HasProperty → bad 0.25
yes → HasProperty → true 0.25
yes → HasProperty → courageous 0.21