Assertion list
voltage (aspect of diode ) → CapableOf
Results from Ascent++: 31
voltage → CapableOf → drop across the diode 0.58
voltage → CapableOf → drop across the resistor 0.56
voltage → CapableOf → remain constant 0.49
voltage → CapableOf → drop to zero 0.42
voltage → CapableOf → apply to the load 0.41
voltage → CapableOf → apply to the motor 0.39
voltage → CapableOf → correspond to current 0.38
voltage → CapableOf → drop across forward-biased diode 0.38
voltage → CapableOf → lead the current 0.38
voltage → CapableOf → bounce back test 0.36
voltage → CapableOf → drop across r4 0.36
voltage → CapableOf → vary with the current 0.36
voltage → CapableOf → apply to the anode of cr2 0.32
voltage → CapableOf → exceed predetermined threshold 0.32
voltage → CapableOf → drop across the led string 0.29
voltage → CapableOf → drop at two spots 0.29
voltage → CapableOf → rise to maximum 0.29
voltage → CapableOf → serve as a scaling signal 0.29
voltage → CapableOf → activate device 0.25
voltage → CapableOf → apply to the base 0.25
voltage → CapableOf → apply to the cathode of cr1 0.25
voltage → CapableOf → apply to the control circuit 0.25
voltage → CapableOf → command vqr 0.25
voltage → CapableOf → drop across current source 0.25
voltage → CapableOf → drop across the feedback resist… 0.25
voltage → CapableOf → drop across transistor 0.25
voltage → CapableOf → drop below threshold 0.25
voltage → CapableOf → flow through the coil 0.25
voltage → CapableOf → lag the current 0.25
voltage → CapableOf → reach 0.7 volts 0.25
voltage → CapableOf → remain independent of electrica… 0.25