Assertion list
cinch (primary) → HasProperty
Results from Ascent++: 1
cinch → HasProperty → short 0.25