Assertion list
carina (primary) → HasProperty
Results from Ascent++: 1
carina → HasProperty → old 0.68