Assertion list
closer (primary) → HasProperty
Results from Ascent++: 1
closer → HasProperty → more valuable 0.25