Assertion list for term "set to a logic one 1level".
Results from Ascent++: 1
input (aspect of multiplexer) → ReceivesAction → set to a logic one 1level 0.25