Assertion list for term "connected to the output of nand gate".
Results from Ascent++: 1
input (aspect of multiplexer) → ReceivesAction → connected to the output of nand gate 0.40