Assertion list
infallibility (primary) → HasProperty
Results from Ascent++: 1
infallibility → HasProperty → personal 0.38