Assertion list
triage (primary) → HasProperty
Results from Ascent++: 2
triage → HasProperty → safe 0.41
triage → HasProperty → effective 0.16