Assertion list
diode (primary) → HasProperty

Results from Ascent++: 29
diodeHasProperty reverse-biased 0.72
diodeHasProperty ok 0.61
diodeHasProperty identical 0.58
diodeHasProperty forward-biased 0.54
diodeHasProperty good 0.51
diodeHasProperty 1n4001 0.51
diodeHasProperty necessary 0.47
diodeHasProperty open 0.46
diodeHasProperty biassed 0.41
diodeHasProperty ideal 0.41
diodeHasProperty inexpensive 0.37
diodeHasProperty small 0.37
diodeHasProperty faulty 0.37
diodeHasProperty bad 0.36
diodeHasProperty sensitive 0.34
diodeHasProperty active 0.32
diodeHasProperty directional 0.32
diodeHasProperty optional 0.32
diodeHasProperty simple 0.30
diodeHasProperty expensive 0.28
diodeHasProperty fast 0.28
diodeHasProperty important 0.27
diodeHasProperty preferable 0.25
diodeHasProperty close 0.19
diodeHasProperty healthy 0.19
diodeHasProperty perfect 0.17
diodeHasProperty correct 0.16
diodeHasProperty failed open 0.16
diodeHasProperty robust 0.16