Assertion list
register (primary) → IsA
Results from Ascent++: 1
register → IsA → set for the device 0.37