Assertion list
output (aspect of multiplexer ) → CapableOf

Results from Ascent++: 9
outputCapableOf indicate the pass 0.30
outputCapableOf locate movable electrode 0.30
outputCapableOf register 2121 0.30
outputCapableOf remain high 0.30
outputCapableOf depend on input 0.25
outputCapableOf depend upon the state of line 0.25
outputCapableOf enable for the associated outpu… 0.25
outputCapableOf remain low 0.25
outputCapableOf remain unchanged 0.25