Assertion list
benefit (aspect of homework ) → HasProperty
Results from Ascent++: 2
benefit → HasProperty → greater 0.16
benefit → HasProperty → huge 0.16