Assertion list
fanatic (primary) → HasProperty
Results from Ascent++: 1
fanatic → HasProperty → most likely 0.16