Assertion list
benefit (aspect of widow ) → HasProperty
Results from Ascent++: 3
benefit → HasProperty → equal 0.52
benefit → HasProperty → higher 0.42
benefit → HasProperty → greater 0.33