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