Assertion list for term "depend upon the state of line".

Results from Ascent++: 2
output (aspect of function) CapableOfdepend upon the state of line 0.25
output (aspect of multiplexer) CapableOfdepend upon the state of line 0.25