Assertion list
output (aspect of amplifier ) → CapableOf
Results from Ascent++: 8
output → CapableOf → produce an output signal 0.36
output → CapableOf → correspond to detected action 0.33
output → CapableOf → go up to 5vpp 0.33
output → CapableOf → locate movable electrode 0.29
output → CapableOf → follow the input 0.25
output → CapableOf → lead of the lna 0.25
output → CapableOf → sense the codeword 0.25
output → CapableOf → set for audio output device 0.25