Assertion list
transistor (primary) → HasPrerequisite

Results from Ascent++: 1
transistorHasPrerequisite more voltage 0.25