Assertion list for term "selected by the multiplexer".
Results from Ascent++: 1
output (aspect of multiplexer) → ReceivesAction → selected by the multiplexer 0.36