Assertion list
differential amplifier (subgroup of amplifier ) → ReceivesAction
Results from Ascent++: 1
differential amplifier → ReceivesAction → connected to amplifier 0.25