Assertion list
realist (primary) → HasProperty
Results from Ascent++: 2
realist → HasProperty → right 0.68
realist → HasProperty → conservative 0.25