Assertion list
true apostle (subgroup of apostle ) → HasProperty
Results from Ascent++: 1
true apostle → HasProperty → self-appointed 0.43