Assertion list
freedman (primary) → HasProperty
Results from Ascent++: 2
freedman → HasProperty → confident 0.25
freedman → HasProperty → right 0.25