Assertion list
tailback (primary) → HasProperty
Results from Ascent++: 1
tailback → HasProperty → good 0.59