Assertion list
true forgiveness (subgroup of forgiveness ) → HasProperty
Results from Ascent++: 1
true forgiveness → HasProperty → possible 0.75