Assertion list
delta (aspect of call ) → HasProperty
Results from Ascent++: 1
delta → HasProperty → positive 0.84