Assertion list
diode (primary) → MadeOf
Results from Ascent++: 3
diode → MadeOf → silicon 0.62
diode → MadeOf → selenium 0.38
diode → MadeOf → same materials 0.25