Assertion list
pnp transistor (subgroup of transistor ) → IsA

Results from Ascent++: 1
pnp transistorIsA exact opposite 0.31