Assertion list
achiever (primary) → HasProperty
Results from Ascent++: 2
achiever → HasProperty → focused 0.26
achiever → HasProperty → happy 0.16