Assertion list
spiritual death (subgroup of death ) → IsA
Results from Ascent++: 2
spiritual death → IsA → separation 0.59
spiritual death → IsA → the penalty 0.16