Assertion list
cerium (primary) → HasProperty
Results from Ascent++: 1
cerium → HasProperty → critical 0.25