Assertion list
miser (primary) → HasProperty
Results from Ascent++: 1
miser → HasProperty → angry 0.59