Assertion list
attenuator (primary) → IsA

Results from Ascent++: 1
attenuatorIsA device 0.52