Assertion list
oldster (primary) → HasProperty
Results from Ascent++: 1
oldster → HasProperty → effective 0.59