Assertion list
base (aspect of transistor ) → HasA
Results from Ascent++: 1
base → HasA → top surface 0.25