Assertion list
voltage (aspect of diode ) → HasProperty
Results from Ascent++: 15
voltage → HasProperty → higher 0.73
voltage → HasProperty → low 0.73
voltage → HasProperty → equal 0.68
voltage → HasProperty → constant 0.67
voltage → HasProperty → high 0.67
voltage → HasProperty → positive 0.66
voltage → HasProperty → negative 0.58
voltage → HasProperty → normal 0.45
voltage → HasProperty → necessary 0.39
voltage → HasProperty → large 0.38
voltage → HasProperty → logical 1 0.34
voltage → HasProperty → correct 0.32
voltage → HasProperty → close 0.25
voltage → HasProperty → small 0.25
voltage → HasProperty → critical 0.22