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