Assertion list for term "coupled to multiplexer".
Results from Ascent++: 1
output (aspect of multiplexer) → ReceivesAction → coupled to multiplexer 0.41