Assertion list
terminal (aspect of transistor ) → CapableOf
Results from Ascent++: 2
terminal → CapableOf → go to the hlevel 0.25
terminal → CapableOf → supply first power source 0.25