Assertion list
saddleback (primary) → HasProperty
Results from Ascent++: 1
saddleback → HasProperty → influential 0.59