Assertion list
sum (primary) → UsedFor
Results from Ascent++: 1
sum → UsedFor → scientific research 0.27