Assertion list
output (primary) → CapableOf
Results from Ascent++: 168
output → CapableOf → go high 0.78
output → CapableOf → depend on input 0.64
output → CapableOf → follow the input 0.63
output → CapableOf → go to zero 0.56
output → CapableOf → serve as input 0.55
output → CapableOf → go to the screen 0.55
output → CapableOf → lag behind the input 0.52
output → CapableOf → turn the transistor 0.50
output → CapableOf → look similar 0.49
output → CapableOf → remain constant 0.48
output → CapableOf → remain unchanged 0.46
output → CapableOf → change 0.44
output → CapableOf → achieve result 0.43
output → CapableOf → go to logic 0.43
output → CapableOf → provide power 0.42
output → CapableOf → correspond to input 0.41
output → CapableOf → correspond to the bid price 0.40
output → CapableOf → depend on present input 0.39
output → CapableOf → support true gapless playback o… 0.39
output → CapableOf → appear on line 0.38
output → CapableOf → depend on current state 0.38
output → CapableOf → lead of secondary of first and … 0.38
output → CapableOf → support dsd/dop 0.38
output → CapableOf → produce an output signal 0.37
output → CapableOf → display information 0.37
output → CapableOf → fall to zero 0.37
output → CapableOf → reduce cost 0.36
output → CapableOf → depend on the state 0.36
output → CapableOf → determine mean 0.36
output → CapableOf → fall by 0.1% 0.36
output → CapableOf → switch power supply 0.36
output → CapableOf → indicate change 0.36
output → CapableOf → look different 0.36
output → CapableOf → look like figure 0.36
output → CapableOf → be a data frame 0.35
output → CapableOf → change to high 0.35
output → CapableOf → correspond to the target 0.35
output → CapableOf → retain larger-than-life transfo… 0.35
output → CapableOf → track the input 0.35
output → CapableOf → be a text file 0.34
output → CapableOf → correspond to the distance 0.34
output → CapableOf → eliminate the need 0.34
output → CapableOf → end of first switch element 0.34
output → CapableOf → equal the input 0.34
output → CapableOf → exceed 37.5 w 0.34
output → CapableOf → look like the following 0.34
output → CapableOf → maintain high-quality standards 0.34
output → CapableOf → rectify diode 0.34
output → CapableOf → remain in the high impedance st… 0.34
output → CapableOf → control device 0.33
output → CapableOf → drive led 0.33
output → CapableOf → drive the speaker 0.33
output → CapableOf → go to the battery 0.33
output → CapableOf → match the input 0.33
output → CapableOf → present signal 0.33
output → CapableOf → revert to original state 0.33
output → CapableOf → rise to high logic level 0.33
output → CapableOf → show the estimate of skewness 0.33
output → CapableOf → switch 100 0.33
output → CapableOf → vary with temperature 0.33
output → CapableOf → change over time 0.32
output → CapableOf → drive positive supply 0.32
output → CapableOf → exceed the threshold 0.32
output → CapableOf → look correct 0.32
output → CapableOf → meet specification 0.32
output → CapableOf → push the year-over-year rate 0.32
output → CapableOf → look good 0.32
output → CapableOf → be a replica of the input 0.31
output → CapableOf → comprise a time-series of outpu… 0.31
output → CapableOf → comprise reconstituted logic in… 0.31
output → CapableOf → drop to low logic level 0.31
output → CapableOf → go to customer 0.31
output → CapableOf → grow at same rate 0.31
output → CapableOf → make transition 0.31
output → CapableOf → meet requirement 0.31
output → CapableOf → provide guide 0.31
output → CapableOf → put the targetname of the npc 0.31
output → CapableOf → refer to symbol 0.31
output → CapableOf → remain flat 0.31
output → CapableOf → supply the first phase signal 0.31
output → CapableOf → be a column vector 0.30
output → CapableOf → be a feature class 0.30
output → CapableOf → comprise one or more probabilit… 0.30
output → CapableOf → configured to provide power 0.30
output → CapableOf → consist of sacred music 0.30
output → CapableOf → correspond to measured actual r… 0.30
output → CapableOf → correspond to received infrared… 0.30
output → CapableOf → depend on the environment 0.30
output → CapableOf → drive loudspeaker 0.30
output → CapableOf → follow the input signal 0.30
output → CapableOf → go to 0v. 0.30
output → CapableOf → go to neuron 0.30
output → CapableOf → go to the other 0.30
output → CapableOf → go up to 5vpp 0.30
output → CapableOf → increase in 2017 0.30
output → CapableOf → increased by 100% 0.30
output → CapableOf → look like the input 0.30
output → CapableOf → overwrite existing file 0.30
output → CapableOf → relay r1 0.30
output → CapableOf → say at least one transducer 0.30
output → CapableOf → show tech-support commands 0.30
output → CapableOf → use diode 0.30
output → CapableOf → use in a gps receiver 0.30
output → CapableOf → warn message 0.30
output → CapableOf → worked in the uk 0.30
output → CapableOf → compensate for overshoot 0.29
output → CapableOf → compensate for undershoot 0.29
output → CapableOf → consist of an m-by-1-by-p array 0.29
output → CapableOf → consist of incidental music 0.29
output → CapableOf → continue with following messages 0.29
output → CapableOf → correspond to detected action 0.29
output → CapableOf → detect circuit 0.29
output → CapableOf → fall in august 0.29
output → CapableOf → go to ground 0.29
output → CapableOf → go to xv 0.29
output → CapableOf → grow over time 0.29
output → CapableOf → meet criterion 0.29
output → CapableOf → register 20 0.29
output → CapableOf → reset the counter 0.29
output → CapableOf → rise in february 0.29
output → CapableOf → switch unit 0.29
output → CapableOf → synchronized frame of audio/vid… 0.29
output → CapableOf → vary in direct proportion 0.29
output → CapableOf → alternate current 0.27
output → CapableOf → be a feasibility report 0.27
output → CapableOf → be a probability map 0.27
output → CapableOf → be a source material 0.27
output → CapableOf → consist of seven complete symph… 0.27
output → CapableOf → control industrial process 0.27
output → CapableOf → create function statements 0.27
output → CapableOf → decode datum 0.27
output → CapableOf → depend on capital 0.27
output → CapableOf → depend on free or fee tools 0.27
output → CapableOf → fall in may 0.27
output → CapableOf → go on the application 0.27
output → CapableOf → increase in 2016 0.27
output → CapableOf → increase in proportion 0.27
output → CapableOf → indicate good battery 0.27
output → CapableOf → locate movable electrode 0.27
output → CapableOf → make more sense 0.27
output → CapableOf → mark the disease nature 0.27
output → CapableOf → mean with the identification in… 0.27
output → CapableOf → omit all line terminators 0.27
output → CapableOf → output the root value 0.27
output → CapableOf → produce combined voltage 0.27
output → CapableOf → provide different color scheme 0.27
output → CapableOf → reach desired condition 0.27
output → CapableOf → refer to character 0.27
output → CapableOf → register 2121 0.27
output → CapableOf → represent a music discovery tool 0.27
output → CapableOf → represent the magnitude of the … 0.27
output → CapableOf → rise in november 0.27
output → CapableOf → rise in september 0.27
output → CapableOf → show 2.6.18-92cp 0.27
output → CapableOf → supply gain-modified signal 0.27
output → CapableOf → switch to high state 0.27
output → CapableOf → track each other 0.27
output → CapableOf → correspond to positive result 0.25
output → CapableOf → look fine 0.23
output → CapableOf → rise at faster pace 0.23
output → CapableOf → avoid pallet corruption 0.21
output → CapableOf → change to windowed mode 0.21
output → CapableOf → increase in january 0.21
output → CapableOf → increase the productivity of th… 0.21
output → CapableOf → show the imbalance 0.21
output → CapableOf → discuss the benefits of cash re… 0.18
output → CapableOf → ensure unsurpassed precision 0.18
output → CapableOf → move to lower productivity indu… 0.18