Assertion list
defaulter (primary) → HasProperty
Results from Ascent++: 2
defaulter → HasProperty → absent 0.25
defaulter → HasProperty → liable 0.25