Assertion list
backbone (primary) → HasProperty
Results from Ascent++: 2
backbone → HasProperty → robust 0.25
backbone → HasProperty → important 0.23