Assertion list
characteristic (aspect of diode ) → ReceivesAction
Results from Ascent++: 1
characteristic → ReceivesAction → controlled by feedback 0.68