Assertion list
claim (aspect of seeker ) → HasProperty
Results from Ascent++: 1
claim → HasProperty → true 0.68