Assertion list
power amplifier (subgroup of amplifier ) → DefinedAs
Results from Ascent++: 1
power amplifier → DefinedAs → last amplifier 0.50