Assertion list
strong desire (subgroup of desire ) → HasProperty
Results from Ascent++: 1
strong desire → HasProperty → consistent 0.25