Assertion list
depressor (primary) → HasProperty
Results from Ascent++: 1
depressor → HasProperty → slidable 0.68