Assertion list for term "provided to the data processor".
Results from Ascent++: 1
input (aspect of multiplexer) → ReceivesAction → provided to the data processor 0.33