Assertion list for term "connected through respective primary multiplexers".
Results from Ascent++: 1
output → ReceivesAction → connected through respective primary multiplexers 0.37