Assertion list
mute (primary) → IsA
Results from Ascent++: 1
mute → IsA → device 0.43