Assertion list
hairpin (primary) → HasProperty
Results from Ascent++: 1
hairpin → HasProperty → visible 0.25