Assertion list for term "coupled to an input of the accumulator".
Results from Ascent++: 1
output (aspect of multiplexer) → ReceivesAction → coupled to an input of the accumulator 0.25