Assertion list
narrow (primary) → HasProperty
Results from Ascent++: 1
narrow → HasProperty → difficult 0.44