Assertion list
diarist (primary) → HasProperty
Results from Ascent++: 2
diarist → HasProperty → unhappy 0.59
diarist → HasProperty → unmotivated 0.59