Assertion list
steeple (primary) → HasProperty
Results from Ascent++: 2
steeple → HasProperty → common 0.25
steeple → HasProperty → visible 0.25