Assertion list
hind (primary) → HasProperty
Results from Ascent++: 1
hind → HasProperty → sacred 0.25