Assertion list
kind (primary) → HasProperty
Results from Ascent++: 1
kind → HasProperty → more common 0.50