Assertion list for term "coupled to the input circuit output node".
Results from Ascent++: 1
input (aspect of latch) → ReceivesAction → coupled to the input circuit output node 0.25