Assertion list
true believer (subgroup of believer ) → HasProperty
Results from Ascent++: 2
true believer → HasProperty → secure 0.75
true believer → HasProperty → free 0.32