Assertion list
harpy (primary) → HasProperty
Results from Ascent++: 1
harpy → HasProperty → weak 0.59