Assertion list
marginal benefit (subgroup of benefit ) → HasProperty
Results from Ascent++: 2
marginal benefit → HasProperty → equal 0.47
marginal benefit → HasProperty → positive 0.25