Assertion list
balsam (primary) → HasProperty
Results from Ascent++: 1
balsam → HasProperty → evident 0.68