Assertion list
marginal benefit (subgroup of benefit ) → CapableOf

Results from Ascent++: 1
marginal benefitCapableOf exceed marginal cost 0.68