Assertion list
spousal benefit (subgroup of benefit ) → HasProperty
Results from Ascent++: 2
spousal benefit → HasProperty → equal 0.45
spousal benefit → HasProperty → higher 0.33