Assertion list
tube amplifier (subgroup of amplifier ) → ReceivesAction
Results from Ascent++: 1
tube amplifier → ReceivesAction → connected to appropriate load 0.68