Assertion list
fet (primary) → IsA
Results from Ascent++: 1
fet → IsA → transistor 0.46