Assertion list
efficiency (aspect of led ) → ReceivesAction

Results from Ascent++: 3
efficiencyReceivesAction increased 0.59
efficiencyReceivesAction achieved 0.49
efficiencyReceivesAction maximized at current 0.42