Assertion list
substitutionary atonement (subgroup of atonement ) → HasProperty
Results from Ascent++: 1
substitutionary atonement → HasProperty → definite 0.68