Assertion list
eternal punishment (subgroup of punishment ) → HasProperty
Results from Ascent++: 1
eternal punishment → HasProperty → everlasting 0.59