Assertion list
lead (aspect of transistor ) → UsedFor
Results from Ascent++: 2
lead → UsedFor → pacing 0.25
lead → UsedFor → sensing 0.25