Assertion list
efficiency (aspect of amplifier ) → HasProperty

Results from Ascent++: 3
efficiencyHasProperty low 0.42
efficiencyHasProperty important 0.34
efficiencyHasProperty high 0.33