Assertion list
crackpot (primary) → HasProperty
Results from Ascent++: 1
crackpot → HasProperty → right 0.68