Assertion list for term "provided to a summation circuit".

Results from Ascent++: 2
output ReceivesActionprovided to a summation circuit 0.32
output (aspect of multiplexer) ReceivesActionprovided to a summation circuit 0.30