Assertion list
cheerfulness (primary) → HasProperty
Results from Ascent++: 1
cheerfulness → HasProperty → natural 0.19