Assertion list for term "connected to first input of nand gate".
Results from Ascent++: 1
output → ReceivesAction → connected to first input of nand gate 0.27