Ascent++
Search
Assertion list
benefit
(
aspect
of
homework
)
→ ReceivesAction
Results from
Ascent++
:
3
benefit
→
ReceivesAction
→
expected
0.68
benefit
→
ReceivesAction
→
derived
0.25
benefit
→
ReceivesAction
→
lost as result
0.16