Assertion list
slat (primary) → HasProperty
Results from Ascent++: 1
slat → HasProperty → thicker 0.25