Assertion list
terminal (aspect of resistor ) → HasProperty
Results from Ascent++: 2
terminal → HasProperty → high 0.25
terminal → HasProperty → low 0.25