Assertion list
channel (aspect of oscilloscope ) → HasProperty

Results from Ascent++: 1
channelHasProperty active 0.84