Assertion list
anguish (primary) → HasProperty
Results from Ascent++: 2
anguish → HasProperty → real 0.59
anguish → HasProperty → raw 0.25