Assertion list
amplifier (primary) → IsA
Results from Ascent++: 1
amplifier → IsA → separate piece of equipment 0.40