Assertion list
input signal (subgroup of signal ) → CapableOf
Results from Ascent++: 10
input signal → CapableOf → match the target pattern 0.59
input signal → CapableOf → use a number of bits 0.47
input signal → CapableOf → exceed the threshold 0.35
input signal → CapableOf → become active 0.25
input signal → CapableOf → correspond to digital value 0.25
input signal → CapableOf → indicate a voltage of the batte… 0.25
input signal → CapableOf → indicate current 0.25
input signal → CapableOf → rise by 2db 0.25
input signal → CapableOf → said control terminal 0.25
input signal → CapableOf → take many forms 0.25