Assertion list
efficiency (aspect of amplifier ) → ReceivesAction
Results from Ascent++: 2
efficiency → ReceivesAction → achieved 0.59
efficiency → ReceivesAction → reduced 0.16