Assertion list
alp (primary) → HasProperty
Results from Ascent++: 2
alp → HasProperty → high 0.63
alp → HasProperty → serious 0.25